Add workaround for git dubious ownership issue

jieyouxu · Jun 10, 2024 · 4c4eb39 · 4c4eb39
1 parent f2e7d79
commit 4c4eb39
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/ci/docker/host-x86_64/riscv64gc-gnu/Dockerfile b/src/ci/docker/host-x86_64/riscv64gc-gnu/Dockerfile
@@ -88,6 +88,9 @@ RUN rm -rf /tmp/riscv-pk
 COPY scripts/sccache.sh /scripts/
 RUN sh /scripts/sccache.sh
 
+# Avoid "fatal: detected dubious ownership in repository at '/checkout'" error
+RUN git config --global --add safe.directory /checkout
+
 ENV RUST_CONFIGURE_ARGS --qemu-riscv64-rootfs=/tmp/rootfs
 ENV SCRIPT python3 ../x.py --stage 2 test --host='' --target riscv64gc-unknown-linux-gnu