Add safe directory in config

Added safe directory in config to fix dubious ownership in repository error. Signed-off-by: Ajay Kishore <[email protected]>
tpm2-software · Oct 6, 2023 · 4998ecf · 4998ecf
1 parent 0cb093f
commit 4998ecf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.ci/coverity.run b/.ci/coverity.run
@@ -61,6 +61,7 @@ echo "Which cov-build: $(which cov-build)"
 
 pushd "$DOCKER_BUILD_DIR"
 
+git config --global --add safe.directory "$DOCKER_BUILD_DIR"
 source ".ci/docker-prelude.sh"
 
 echo "Performing build with Coverity Scan"