Update update-das-queries

fioriNTU · Mar 7, 2018 · ede8bad · ede8bad
1 parent ec82fd6
commit ede8bad
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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