improve gnu scripts

This commit is contained in:
Eugenio Romano
2019-03-20 00:35:15 +00:00
parent e392d3e602
commit 561dd15b04
3 changed files with 17 additions and 2 deletions

View File

@@ -48,6 +48,7 @@ git merge-base origin/$BRANCH_NAME HEAD > ./$DIRECTORY/devhead.txt
fi
HEAD_SHA_BRANCH="$(cat ./$DIRECTORY/devhead.txt)"
echo ""
echo "Branch name $BRANCH_NAME HEAD sha " $HEAD_SHA_BRANCH
# tmp folder doesn't exist.