[jenkins] preliminary checks to save time when we are building a new slave

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 576986c..8a97109 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -37,6 +37,12 @@ onoff() {
   fi
 }
 
   fi
 }
 

+# Check that we have what we need, or die quickly
+test -e /bin/tar  || die "I need tar to compile. Please fix your slave."
+test -e /bin/gzip || die "I need gzip to compile. Please fix your slave."
+test -e /usr/include/libunwind.h || die "I need libunwind to compile. Please fix your slave."
+test -e /usr/include/valgrind/valgrind.h || die "I need valgrind to compile. Please fix your slave."
+

 build_mode="$1"
 echo "Build mode $build_mode on $(uname -np)" >&2
 case "$build_mode" in
 build_mode="$1"
 echo "Build mode $build_mode on $(uname -np)" >&2
 case "$build_mode" in