unset scram env if set

fioriNTU · Mar 7, 2018 · c017518 · c017518
1 parent 4f30ef5
commit c017518
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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