From c411feb309618c956b5fa7170d3845fb9fa75a06 Mon Sep 17 00:00:00 2001 From: Christian Beiwinkel Date: Thu, 19 Sep 2024 12:54:22 +0200 Subject: [PATCH] Update update_public_server.sh --- scripts/update_public_server.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/update_public_server.sh b/scripts/update_public_server.sh index 7740104fc4..7d92b3186a 100644 --- 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