tools: toolchain: update docker build command to include --no-cache

If docker sees the Dockerfile hasn't changed it may reuse an old image, not
caring that context files and dependent images have in fact changed. This can
happen for us if install-dependencies.sh or the base Fedora image changed.

To make sure we always get a correct image, add --no-cache to the build command.
Message-Id: <20190122185042.23131-1-avi@scylladb.com>
This commit is contained in:
Avi Kivity
2019-01-22 20:50:42 +02:00
committed by Tomasz Grabiec
parent 5d754c1d11
commit 835ad406de

View File

@@ -28,7 +28,7 @@ set environment variables:
Run the command
docker build -f tools/toolchain/Dockerfile .
docker build --no-cache -f tools/toolchain/Dockerfile .
and use the resulting image.