From: Peter Amstutz <peter.amstutz@curoverse.com>
Date: Mon, 17 Oct 2016 15:57:43 +0000 (-0400)
Subject: 10025: run-build-docker-images.sh can use "arvbox build" instead of "rebuild"
X-Git-Tag: 1.1.0~644^2
X-Git-Url: https://git.arvados.org/arvados.git/commitdiff_plain/1658a97ba74320c2da1bed1d5fbfbaa767203e1c?hp=b8573fab8e641eab5adc123e9f335510bff65172

10025: run-build-docker-images.sh can use "arvbox build" instead of "rebuild"
now because caching should be better behaved.
---

diff --git a/build/run-build-docker-images.sh b/build/run-build-docker-images.sh
index d03169457e..a7dc30cfae 100755
--- a/build/run-build-docker-images.sh
+++ b/build/run-build-docker-images.sh
@@ -125,7 +125,7 @@ timer_reset
 # clean up the docker build environment
 cd "$WORKSPACE"
 
-tools/arvbox/bin/arvbox rebuild localdemo
+tools/arvbox/bin/arvbox build localdemo
 ECODE=$?
 
 if [[ "$ECODE" != "0" ]]; then