dune-fufum: use --no-cache

11fb7eac · Ansgar Burchardt · 65560746 · 11fb7eac
Commit 11fb7eac authored Feb 01, 2016 by Ansgar Burchardt
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Makefile Makefile +1 -1

No files found.
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ dune-2.4-stamp: base-9-stamp dune-2.4/Dockerfile
 	touch $@

 dune-fufem-stamp: dune-fufem/Dockerfile dune-2.4-stamp
-	docker build -t duneci/dune-fufem:2.4 dune-fufem
+	docker build --no-cache -t duneci/dune-fufem:2.4 dune-fufem
 	touch $@

 dune-git-stamp: base-9-stamp dune-git/Dockerfile