Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[jenkins] that was a bad idea
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 7 Jan 2016 23:17:12 +0000 (00:17 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 7 Jan 2016 23:17:12 +0000 (00:17 +0100)
tools/jenkins/build.sh

index 0ad4f19..55d24d0 100755 (executable)
@@ -39,9 +39,10 @@ onoff() {
   fi
 }
 
-# Check that we have what we need, or die quickly
-test -e /bin/tar  || die 1 "I need tar to compile. Please fix your slave."
-test -e /bin/gzip || die 1 "I need gzip to compile. Please fix your slave."
+# Check that we have what we need, or die quickly.
+# The paths are not the same on all platforms, unfortunately.
+#test -e /bin/tar  || die 1 "I need tar to compile. Please fix your slave."
+#test -e /bin/gzip || die 1 "I need gzip to compile. Please fix your slave."
 #test -e /usr/include/libunwind.h || die 1 "I need libunwind to compile. Please fix your slave."
 #test -e /usr/include/valgrind/valgrind.h ||┬ádie 1 "I need valgrind to compile. Please fix your slave."