diff --git a/das-utils/update-das-queries b/das-utils/update-das-queries index e831f53cda06..98ffbc9531bd 100755 --- a/das-utils/update-das-queries +++ b/das-utils/update-das-queries @@ -28,11 +28,14 @@ if [ "$PUSH_RESULTS" = "true" ] ; then git add das_queries if [ $(git diff --name-only origin/master | wc -l) -gt 0 ] ; then git commit -a -m "Updated das queries" + ERR=1 for tries in 0 1 2 3 4 ; do git pull --rebase || continue git push origin || continue + ERR=0 break done + if [ $ERR -gt 0 ] ; then touch $WORKSPACE/error ; fi fi popd fi