[ARVADOS] updated: 1658a97ba74320c2da1bed1d5fbfbaa767203e1c

[Git user]

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

       via  1658a97ba74320c2da1bed1d5fbfbaa767203e1c (commit)
      from  b8573fab8e641eab5adc123e9f335510bff65172 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 1658a97ba74320c2da1bed1d5fbfbaa767203e1c
Author: Peter Amstutz <peter.amstutz at curoverse.com>
Date:   Mon Oct 17 11:57:43 2016 -0400

    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 d031694..a7dc30c 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

-----------------------------------------------------------------------


hooks/post-receive
--