aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMartin Hauke <mardnh@gmx.de>2018-02-11 10:27:13 +0100
committerMartin Hauke <mardnh@gmx.de>2018-02-11 10:27:13 +0100
commit882a759818f2c274e3ff6370e40d2e4621fd6ce0 (patch)
tree1a12f61b2b9f00d1c56ecfd73661da1bcccb81ed
parentf824d867182701acd2febdfe2bf05f3049f7e577 (diff)
jenkins: Enable parallel build and distcheck
-rwxr-xr-xcontrib/jenkins.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 4a31aef..35d8e7a 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -7,7 +7,7 @@ osmo-clean-workspace.sh
autoreconf --install --force
./configure --enable-sanitize
$MAKE CFLAGS="-Werror" CPPFLAGS="-Werror"
-# currently broken $MAKE $PARALLEL_MAKE
-# currently broken $MAKE distcheck
+$MAKE $PARALLEL_MAKE
+$MAKE distcheck
osmo-clean-workspace.sh