From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 27 Jul 2015 14:13:18 +0000 (+0200)
Subject: [jenkins] Display arguments passed to the script
X-Git-Tag: v3_12~374
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/53b158e6299ce0e51cf457188012d8685e9f3bfc

[jenkins] Display arguments passed to the script
---

diff --git a/buildtools/jenkins/build.sh b/buildtools/jenkins/build.sh
index 1e440f5f9d..125d3ca109 100755
--- a/buildtools/jenkins/build.sh
+++ b/buildtools/jenkins/build.sh
@@ -2,8 +2,12 @@
 
 set -e
 
-build_mode="$1"
+echo "Running $0 with arguments:" >&2
+for arg in "$@"; do
+  echo "- $arg"
+done
 
+build_mode="$1"
 echo "Build mode $build_mode on $(uname -np)" >&2
 
 if test "$(uname -o)" = "Msys"; then