jenkins.sh: enable make distcheck

Change-Id: I967d4de9682cb2a45210f689ec076ef457841179
2016-08-27 14:01:51 +02:00 · 2016-08-27 14:01:51 +02:00 · 66838e957a
parent da62d064d1
commit 66838e957a
1 changed files with 1 additions and 2 deletions
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@ -75,5 +75,4 @@ fi

 $MAKE $PARALLEL_MAKE
 LD_LIBRARY_PATH="$inst/lib" $MAKE check
-# distcheck is broken
-#LD_LIBRARY_PATH=$PWD/deps/install/lib $MAKE distcheck
+LD_LIBRARY_PATH="$inst/lib" $MAKE distcheck