build: revised build scripts

This commit is contained in:
Eberhard Graether
2019-11-05 17:00:39 +01:00
parent 8264b8cae3
commit c34b17418d
11 changed files with 33 additions and 141 deletions
+2 -3
View File
@@ -6,14 +6,14 @@ FAIL="\033[31mFail:\033[00m"
PASS="\033[32mPass:\033[00m"
INFO="\033[33mInfo:\033[00m"
#handle delete remote branches
# handle delete remote branches
while read local_ref lorem_sha remote_ref remote_sha
do
if [ "$local_ref" == "(delete)" ]
then
if [ "$remote_ref" == "refs/heads/master" ]
then
echo -e $FAIL seriously dont delete the master
echo -e $FAIL "seriously dont delete the master"
exit 1
else
echo "delete remote branch $remote_ref"
@@ -23,4 +23,3 @@ do
done
exit 0