From be98a4049c6fb72c94ecfef1cbf2fe5bc09dca29 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Wed, 12 Dec 2018 16:53:27 +0000 Subject: [PATCH] pgit.sh: Don't uncoditionally set -e Base that on whether or not PGIT_KEEP_GOING is defined Signed-off-by: Jan Lindemann --- scripts/pgit.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/pgit.sh b/scripts/pgit.sh index 85cbb16b..33c8b333 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -118,7 +118,7 @@ clone() [ "$?" != 0 ] && exit 1 fi n_projects=`echo $projects | wc -w` - set -e + if [ "$PGIT_KEEP_GOING" != y ]; then set -e; fi for p in $projects; do cur=`expr $cur + 1` local pullurl=ssh://$login@git.janware.com/srv/git/$fromuser/proj/$p