Remove --local option to git clone; it's ignored for file URIs.
@@ -17,7 +17,7 @@ NUM_THREADS=$((${NUM_CORES} * 2))
mkdir "${SOURCE_DIR}"
mkdir "${BUILD_DIR}"
-git clone --no-checkout --local --no-hardlinks file:///vespa "${SOURCE_DIR}"
+git clone --no-checkout --no-hardlinks file:///vespa "${SOURCE_DIR}"
cd "${SOURCE_DIR}"
git -c advice.detachedHead=false checkout ${GIT_COMMIT}
source /opt/rh/devtoolset-6/enable || true
