Fix "detected dubious ownership in repository" git error.

No issue #

Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tom@curii.com>

diff --git a/Makefile b/Makefile
index bbdd4b37edd1eac164965ae038d6801b2b61070f..0220adadc2993fea8a3d16896da79d4fbbb4d026 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -156,7 +156,7 @@ packages-in-docker: check-arvados-directory workbench2-build-image
                -w="/tmp/workbench2" \
                -t -v ${WORKSPACE}:/tmp/workbench2 \
                -v ${ARVADOS_DIRECTORY}:/tmp/arvados workbench2-build:latest \
-               make packages
+               sh -c 'git config --global --add safe.directory /tmp/workbench2 && make packages'
 
 workbench2-build-image:
        (cd docker && docker build -t workbench2-build .)