Add make push
This commit is contained in:
parent
8cb165c269
commit
6eb08c9256
1 changed files with 9 additions and 1 deletions
10
Makefile
10
Makefile
|
@ -70,4 +70,12 @@ docker-integer-simple: | root/bin/sh root/lib/x86_64-linux-gnu/libc.so.6 root/li
|
||||||
clean:
|
clean:
|
||||||
@rm -rf root
|
@rm -rf root
|
||||||
|
|
||||||
.PHONY: default docker-integer-gmp docker-integer-simple clean
|
push:
|
||||||
|
@docker tag -f haskell-scratch:integer-gmp fpco/haskell-scratch:integer-gmp
|
||||||
|
@docker push fpco/haskell-scratch:integer-gmp
|
||||||
|
@docker tag -f haskell-scratch:integer-simple fpco/haskell-scratch:integer-simple
|
||||||
|
@docker push fpco/haskell-scratch:integer-simple
|
||||||
|
@docker tag -f haskell-scratch:integer-simple fpco/haskell-scratch:latest
|
||||||
|
@docker push fpco/haskell-scratch:latest
|
||||||
|
|
||||||
|
.PHONY: default docker-integer-gmp docker-integer-simple clean push
|
||||||
|
|
Loading…
Reference in a new issue