summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBenjamin Dauvergne <bdauvergne@entrouvert.com>2018-06-28 09:32:33 (GMT)
committerBenjamin Dauvergne <bdauvergne@entrouvert.com>2018-06-28 09:32:33 (GMT)
commit9e3701667372568d5d990b5abd8dd23c7b0fe03c (patch)
treeba5e18c6ae33dc5e5e2546be7be1d38a5408cd06
parente29de3160d71d215be51f74783006d382f366f97 (diff)
downloadlasso-9e3701667372568d5d990b5abd8dd23c7b0fe03c.zip
lasso-9e3701667372568d5d990b5abd8dd23c7b0fe03c.tar.gz
lasso-9e3701667372568d5d990b5abd8dd23c7b0fe03c.tar.bz2
jenkins.sh: add a make clean to prevent previous build to break new ones
-rwxr-xr-xjenkins.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins.sh b/jenkins.sh
index 8acd735..c99d073 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -1,6 +1,7 @@
#!/bin/bash -e
./autogen.sh
./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf
+make clean
make all V=1
make check V=1
make distcheck