Commit 6f777d0f authored by Ansgar Burchardt's avatar Ansgar Burchardt

Add duneci/dune-fufem:latest alias.

parent d662a40c
all: base-8-stamp base-9-stamp dune-2.3-stamp dune-2.4-stamp dune-fufem-stamp dune-latest-stamp
all: base-8-stamp base-9-stamp dune-2.3-stamp dune-2.4-stamp dune-fufem-stamp dune-fufem-latest-stamp dune-latest-stamp
clean:
rm -f -- ./*-stamp
......@@ -32,3 +32,7 @@ dune-git-stamp: base-9-stamp dune-git/Dockerfile
dune-latest-stamp: dune-2.4-stamp
docker tag -f duneci/dune:2.4 duneci/dune:latest
touch $@
dune-fufem-latest-stamp: dune-fufem-stamp
docker tag -f duneci/dune-fufem:2.4 duneci/dune-fufem:latest
touch $@
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment