Add workaround for git dubious ownership issue

This commit is contained in:
Ana Hobden 2024-05-31 07:46:24 -07:00
parent f2e7d79e0c
commit 4c4eb39bc5
No known key found for this signature in database

View file

@ -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