Skip to content

Commit 6dc5de4

Browse files
committed
improve local build
1 parent b78a891 commit 6dc5de4

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

local-build.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ echo "git config --global --add safe.directory /app/.git"
77

88
cd /workdir/ || exit
99
git config --global --add safe.directory /app/.git || exit
10+
git config --global --add safe.directory /app//.git || exit
11+
git config --global --add safe.directory /app/asn1scc/.git || exit
1012
echo "git clone /app/ asn1scc"
1113
git clone /app/ asn1scc || exit
1214
cd asn1scc || exit

0 commit comments

Comments
 (0)