From c017518d802bac86b0a629f364b07849f52d41b5 Mon Sep 17 00:00:00 2001 From: Shahzad Malik Muzaffar Date: Wed, 7 Mar 2018 16:09:18 +0100 Subject: [PATCH] unset scram env if set --- report-pull-request-results | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/report-pull-request-results b/report-pull-request-results index 3d193316ed14..444faf020bc2 100755 --- a/report-pull-request-results +++ b/report-pull-request-results @@ -1,5 +1,5 @@ #!/bin/bash -eval $(scram unset -sh) || true +if [ "X${SCRAMRT_SET}" != "X" ] ; then eval $(scram unset -sh) ; fi for x in 0 1 2 ; do $(dirname $0)/report-pull-request-results.py "$@" && exit 0 sleep 30