From 75c89c8b119b0b890c79fb0b832b7716b3707220 Mon Sep 17 00:00:00 2001
From: ArmandBahi <armand.bahi@veremes.com>
Date: Wed, 17 Oct 2018 09:31:50 +0200
Subject: [PATCH] Try on push subtrees
---
utils/push_subtrees.sh | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/utils/push_subtrees.sh b/utils/push_subtrees.sh
index fb430d5f..b4949ea2 100755
--- a/utils/push_subtrees.sh
+++ b/utils/push_subtrees.sh
@@ -26,7 +26,12 @@ if [[ $depsCount > 0 ]]; then
echo "---- Push ${aDeps[$i, name]} ----"
# Push le dépôt
- git subtree push --prefix src/${aDeps[$i, name]} "git@gitlab.veremes.net:Development/vitis_apps/sources/${aDeps[$i, name]}.git" master
+
+ { # 'try' block
+ git subtree push --prefix src/${aDeps[$i, name]} "git@gitlab.veremes.net:Development/vitis_apps/sources/${aDeps[$i, name]}.git" master
+ } || { # 'catch' block
+ echo "could not push ${aDeps[$i, name]}"
+ }
fi
done
fi
--
GitLab