From e269cc9226d1eb69d78431deae56fae1ec8ce39c Mon Sep 17 00:00:00 2001 From: Vincent Fiduccia Date: Tue, 3 Jul 2018 12:41:12 -0700 Subject: [PATCH] No caching --- scripts/dev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/dev b/scripts/dev index 381ca1a63cc..746a7bf9689 100755 --- a/scripts/dev +++ b/scripts/dev @@ -87,7 +87,7 @@ if [ -z "$BUILD_BUILD" ]; then docker pull ${IMAGE}:build else echo "Building ${IMAGE}:build" - docker build -f Dockerfile.build -t ${IMAGE}:build . + docker build --no-cache -f Dockerfile.build -t ${IMAGE}:build . if [[ "$UPLOAD" ]]; then docker push ${IMAGE}:build fi