Merge branch 'master' of git.clinicalfuture.com:arvados

[arvados.git] / docker / build.sh

diff --git a/docker/build.sh b/docker/build.sh
index 74d2ed33e1e91cfc22dfe5da6cd3461377c95a44..366775dd387428e7df3a856fc54017a84358f0e2 100755 (executable)
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -1,9 +1,11 @@
 #! /bin/sh
 
-# build the base wheezy image
-./mkimage-debootstrap.sh arvados/debian wheezy http://debian.lcs.mit.edu/debian/
+# build the base wheezy image, if it doesn't already exist
+(docker images | grep '^arvados/debian') || \
+  ./mkimage-debootstrap.sh arvados/debian wheezy http://debian.lcs.mit.edu/debian/
 
 # build the Docker images
 docker build -t arvados/base base
 docker build -t arvados/api api
 docker build -t arvados/docserver docserver
+docker build -t arvados/workbench workbench