From 788d9df6ef70a92e2569e0c659a52a639700af62 Mon Sep 17 00:00:00 2001 From: Hugo Villeneuve Date: Tue, 17 Dec 2019 12:00:26 -0500 Subject: [PATCH] Fix bug with non-existent directory --- scripts/git-project-update.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/git-project-update.sh b/scripts/git-project-update.sh index f1862ee..b47dcbc 100755 --- 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 -- 2.20.1