Update update_public_server.sh

Georepublic · Sep 19, 2024 · c411feb · c411feb
1 parent 4d311dc
commit c411feb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/update_public_server.sh b/scripts/update_public_server.sh
@@ -8,6 +8,10 @@ src_dir="/src/valhalla"
 
 git config --global --add safe.directory /src/valhalla
 
+for s in $(ls /src/valhalla/third_party); do
+    git config --global --add safe.directory /src/valhalla/third_party/$s
+done
+
 git -C "${src_dir}" checkout master
 git -C "${src_dir}" pull
 git -C "${src_dir}" submodule update --init --recursive