diff options
author | Andrea Censi <acensi@ethz.ch> | 2022-02-21 11:20:26 +0100 |
---|---|---|
committer | Andrea Censi <acensi@ethz.ch> | 2022-02-21 11:20:26 +0100 |
commit | d12cc9f958fc0cef18bb9d2dd00e2aa7f97d9a2e (patch) | |
tree | 8f4f681babfddec643de3a33d0548b266f79c79c | |
parent | Bump to version 7.1.2110170951 (diff) | |
download | act4e-d12cc9f958fc0cef18bb9d2dd00e2aa7f97d9a2e.tar.gz act4e-d12cc9f958fc0cef18bb9d2dd00e2aa7f97d9a2e.zip |
fix
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ pull: docker pull ${DOCKER_REGISTRY}/act4e/act4e-tests:alphubel build: pull - docker build -t $(tag) . + docker build --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) . check: build |