jenkins.sh: add a make clean to prevent previous build to break new ones

2018-06-28 11:32:33 +02:00 · 2018-06-28 11:32:33 +02:00 · 9e37016673
parent e29de3160d
commit 9e37016673
1 changed files with 1 additions and 0 deletions
--- 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