summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2021-10-16 14:42:16 +0200
committerAndrea Censi <acensi@ethz.ch>2021-10-16 14:42:16 +0200
commit738acb0c3ef00272f57cf960a5b79e1857464c78 (patch)
treed5eeee882e22c79d84f494d442a4730222adfcc2 /Makefile
parentBump to version 7.1.2110152134 (diff)
downloadact4e-738acb0c3ef00272f57cf960a5b79e1857464c78.tar.gz
act4e-738acb0c3ef00272f57cf960a5b79e1857464c78.zip
fix
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 037ff7a..cea6e06 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,14 @@
all:
+REGISTRY ?= reg-z7-prod.zuper.ai
+
tag=mytag
pull:
- docker pull andreacensi/act4e:spring2021
+ docker pull ${REGISTRY}/act4e/act4e-tests:alphubel
build: pull
- docker build -t $(tag) .
+ docker build -t $(tag) .
check: build