Merge branch 'main' from workbench2.git

[arvados.git] / services / workbench2 / tools / run-integration-tests.sh

diff --git a/services/workbench2/tools/run-integration-tests.sh b/services/workbench2/tools/run-integration-tests.sh
index ece13cae1837dbaac61211ea3ceaf5b2a928d85f..a9d7e8fc647d7d8f234744f6f3a84af63913af99 100755 (executable)
--- a/services/workbench2/tools/run-integration-tests.sh
+++ b/services/workbench2/tools/run-integration-tests.sh
@@ -97,9 +97,9 @@ fi
 if [ ! -x ${GOPATH:-${HOME}/go}/bin/arvados-server ]; then
     echo "Building & installing arvados-server..."
     cd ${ARVADOS_DIR}
-    go mod download || exit 1
+    GOFLAGS=-buildvcs=false go mod download || exit 1
     cd cmd/arvados-server
-    go install
+    GOFLAGS=-buildvcs=false go install
     cd -
 
     echo "Installing dev dependencies..."