X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1509a50e35dbcad0fe6c99e059fb5b2aba1143f2..8919dc9cd4f522f7dc9d397e1037dce8d6bd63ac:/tools/jenkins/build.sh

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 9518ae7edf..0e66fd62a1 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -26,7 +26,7 @@ fi
 
 # usage: die status message...
 die () {
-  local status=${1:-1}
+  status=${1:-1}
   shift
   [ $# -gt 0 ] || set -- "Error - Halting"
   echo "$@" >&2