Commit aec27362 authored by Ansgar Burchardt's avatar Ansgar Burchardt

Disable docker cache

It's contraproductive to cache "git pull" from the master branch as we would
not pick up changes this way.  The same applies for "apt-get update".
parent b506ac54
......@@ -4,11 +4,11 @@ clean:
rm -f -- ./*-stamp
base-8-stamp: base-8/Dockerfile
docker build -t duneci/base:8 base-8
docker build --no-cache -t duneci/base:8 base-8
touch $@
base-9-stamp: base-9/Dockerfile
docker build -t duneci/base:9 base-9
docker build --no-cache -t duneci/base:9 base-9
touch $@
dune-2.3-stamp: base-8-stamp dune-2.3/Dockerfile
......@@ -24,7 +24,7 @@ dune-fufem-stamp: dune-fufem/Dockerfile dune-2.4-stamp
touch $@
dune-git-stamp: base-9-stamp dune-git/Dockerfile
docker build -t duneci/dune:git-staging dune-git
docker build --no-cache -t duneci/dune:git-staging dune-git
#docker run -i duneci/dune:git-staging sh -c "dunecontrol make build_tests && dunecontrol make test"
docker tag -f duneci/dune:git-staging duneci/dune:git
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