fix the make distcheck. Again.

[simgrid.git] / buildtools / jenkins / build.sh

diff --git a/buildtools/jenkins/build.sh b/buildtools/jenkins/build.sh
index e6be9fa..7226a67 100755 (executable)
--- a/buildtools/jenkins/build.sh
+++ b/buildtools/jenkins/build.sh
@@ -4,6 +4,8 @@ set -e
 
 build_mode="$1"
 
+echo "Build mode $build_mode on $(uname -np)" >&2
+
 # usage: die status message...
 die () {
   local status=${1:-1}