diff --git a/report-pull-request-results b/report-pull-request-results index 6b77c26f1824..18ccc1b7805d 100755 --- a/report-pull-request-results +++ b/report-pull-request-results @@ -1,4 +1,5 @@ #!/bin/bash +eval $(scram unset -sh) for x in 0 1 2 ; do $(dirname $0)/report-pull-request-results.py "$@" && exit 0 sleep 30