Add workbench server to build.sh and run.sh

[arvados.git] / docker / build.sh

diff --git a/docker/build.sh b/docker/build.sh
index 97cb97558c53293b4a5f65a7876c985d095601fd..366775dd387428e7df3a856fc54017a84358f0e2 100755 (executable)
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -8,3 +8,4 @@
 docker build -t arvados/base base
 docker build -t arvados/api api
 docker build -t arvados/docserver docserver
+docker build -t arvados/workbench workbench