projects
/
arvados.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
9953: De-duplicate Go and Python postinst/prerm scripts.
[arvados.git]
/
build
/
run-build-docker-images.sh
diff --git
a/build/run-build-docker-images.sh
b/build/run-build-docker-images.sh
index 0a5841dae23b6e7479437fe5413324199726597e..d03169457e7d3a1a33a535e50deed79b3f398828 100755
(executable)
--- 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"
# clean up the docker build environment
cd "$WORKSPACE"
-tools/arvbox/bin/arvbox
build dev
+tools/arvbox/bin/arvbox
rebuild localdemo
ECODE=$?
if [[ "$ECODE" != "0" ]]; then
ECODE=$?
if [[ "$ECODE" != "0" ]]; then
@@
-133,7
+133,7
@@
if [[ "$ECODE" != "0" ]]; then
EXITCODE=$(($EXITCODE + $ECODE))
fi
EXITCODE=$(($EXITCODE + $ECODE))
fi
-tools/arvbox/bin/arvbox build
localdemo
+tools/arvbox/bin/arvbox build
dev
ECODE=$?
ECODE=$?
@@
-151,8
+151,8
@@
timer_reset
if [[ "$ECODE" != "0" ]]; then
title "upload arvados images SKIPPED because build failed"
else
if [[ "$ECODE" != "0" ]]; then
title "upload arvados images SKIPPED because build failed"
else
- if [[ $upload == true ]]; then
- ## 20150526 nico -- *sometimes* dockerhub needs re-login
+ if [[ $upload == true ]]; then
+ ## 20150526 nico -- *sometimes* dockerhub needs re-login
## even though credentials are already in .dockercfg
docker login -u arvados
## even though credentials are already in .dockercfg
docker login -u arvados