From 1658a97ba74320c2da1bed1d5fbfbaa767203e1c Mon Sep 17 00:00:00 2001
From: Peter Amstutz <peter.amstutz@curoverse.com>
Date: Mon, 17 Oct 2016 11:57:43 -0400
Subject: [PATCH 1/1] 10025: run-build-docker-images.sh can use "arvbox build"
 instead of "rebuild" now because caching should be better behaved.

---
 build/run-build-docker-images.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2