diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile index a45e672..47a87fc 100644 --- a/Makefile +++ b/Makefile @@ -7,4 +7,11 @@ all: $(ALL) clean: FRC rm -f $(ALL) +docker-release: FRC + TAG=$$(git rev-parse --short=8 @) ; \ + docker build -f Dockerfile.build -t docker.io/leahneukirchen/rvnit:$$TAG . && \ + docker tag docker.io/leahneukirchen/rvnit:$$TAG docker.io/leahneukirchen/rvnit:latest && \ + docker push docker.io/leahneukirchen/rvnit:$$TAG && \ + docker push docker.io/leahneukirchen/rvnit:latest + FRC: |