Fix bug with non-existent directory

diff --git a/scripts/git-project-update.sh b/scripts/git-project-update.sh
index f1862ee0e9b33e221585a8d408142d6eb60b566a..b47dcbcd81fec43e86023e0a6a0ed89b81938139 100755 (executable)
--- a/scripts/git-project-update.sh
+++ b/scripts/git-project-update.sh
@@ -80,8 +80,8 @@ while IFS=$'\n' read r ; do
 
     # Make sure directory exists
     if [ ! -d "${r}" ]; then
-        echo "Missing repos ${r}"
-        exit 1
+        echo "Skipping missing repos ${r}"
+        continue
     fi
 
     # Update only git repos