18874: Use services/workbench2 dir to serve wb2 in arvbox.

[arvados.git] / tools / arvbox / lib / arvbox / docker / Dockerfile.demo

diff --git a/tools/arvbox/lib/arvbox/docker/Dockerfile.demo b/tools/arvbox/lib/arvbox/docker/Dockerfile.demo
index 36b28ff9f6beb3a2c6f930b34108c12375b6f593..81a5369f5ebcb9a9a749c1a4d713458466e2c897 100644 (file)
--- a/tools/arvbox/lib/arvbox/docker/Dockerfile.demo
+++ b/tools/arvbox/lib/arvbox/docker/Dockerfile.demo
@@ -4,13 +4,10 @@
 
 FROM arvados/arvbox-base
 ARG arvados_version
-ARG workbench2_version=main
 
 RUN cd /usr/src && \
     git clone --no-checkout https://git.arvados.org/arvados.git && \
     git -C arvados checkout ${arvados_version} && \
-    git clone --no-checkout https://git.arvados.org/arvados-workbench2.git workbench2 && \
-    git -C workbench2 checkout ${workbench2_version} && \
     chown -R 1000:1000 /usr/src
 
 # avoid rebuilding arvados-server, it's already been built as part of the base image