From 0b834e5abfc6d73fc55dbc299659750be9bbcf96 Mon Sep 17 00:00:00 2001
From: Xiao Yindong <xydarcher@uestc.edu.cn>
Date: Wed, 3 May 2023 12:09:08 +0800
Subject: [PATCH] set safe.directory systemwide.

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 8e08442..ad21c4d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -103,7 +103,7 @@ RUN curl -sL "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x2EE0EA64E4
         | tee /etc/apt/sources.list.d/sbt_old.list \
     && apt update && apt install sbt && apt clean && rm -rf /var/lib/apt/lists/*
 
-RUN git config --global --add safe.directory '*'
+RUN git config --system --add safe.directory '*'
 
 COPY --from=build-symbiyosys /opt /opt
 COPY --from=build-verilator /opt /opt