From 68e4963f7567ad9a1c5c7d09c492ea1d90112f90 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 27 Jul 2015 17:00:00 +0200
Subject: [PATCH] jenkins fun

- Don't display the build mode before it's set
- On Windows, the command die does not exist
---
 buildtools/jenkins/build.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/buildtools/jenkins/build.sh b/buildtools/jenkins/build.sh
index f79bd105dd..1c6773f831 100755
--- a/buildtools/jenkins/build.sh
+++ b/buildtools/jenkins/build.sh
@@ -6,9 +6,9 @@ echo "Running $0 with arguments:" >&2
 for arg in "$@"; do
   echo "- $arg"
 done
-echo "Build mode was $build_mode" >&1
 
 build_mode="$1"
+echo "Build mode $build_mode on $(uname -np)" >&2
 case "$build_mode" in
   "Debug")
   ;;
@@ -24,11 +24,11 @@ case "$build_mode" in
       echo "On Windows, jenkins is not willing to expand variables for some reason" >&2
       echo "Force use Debug mode" >&2
     else
-      die 1 "Unknown build_mode $build_mode"
+      echo "Unknown build_mode $build_mode"
+      exit 1
     fi
   ;;
 esac
-echo "Build mode $build_mode on $(uname -np)" >&2
 
 if test "$(uname -o)" = "Msys"; then
   if [ -z "$NUMBER_OF_PROCESSORS" ]; then
-- 
2.20.1