From ffb85ba2acd2a405726a5cc11dc24c40f27da6f2 Mon Sep 17 00:00:00 2001 From: Malik Shahzad Muzaffar Date: Wed, 7 Mar 2018 13:49:22 +0100 Subject: [PATCH] Update report-pull-request-results --- report-pull-request-results | 1 + 1 file changed, 1 insertion(+) 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