Commit 784b0401 authored by Diego Giovane Pasqualin's avatar Diego Giovane Pasqualin
Browse files

jenkins_continuous_integration.sh: Add sanity check for git push


Signed-off-by: default avatarDiego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
parent 4de56fd9
......@@ -230,7 +230,7 @@ for pkg in $(getChangedPackages); do
if $PUBLISH; then
echo "Publishing package $pkg on le5-$repository"
if ! publish $pkg $repository; then
echo ERROR publishing package $pkg on repository $repository.
echo "ERROR publishing package $pkg on repository $repository."
exit 1
fi
fi
......@@ -239,5 +239,8 @@ done
if $COMMIT; then
git commit -s -a -m "New packages generated by Jenkins"
# TODO: push to the branch being used, which is not necessarily master
git push
if ! git push; then
echo "ERROR: Failed to push changes to repository $repository."
exit 1
fi
fi
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment