jenkins.sh: enable make distcheck

Change-Id: I967d4de9682cb2a45210f689ec076ef457841179
2016-08-27 14:01:51 +02:00 · 2016-08-27 14:01:51 +02:00 · 30f534f887
parent a872421e43
commit 30f534f887
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