jenkins.sh: add a make clean to prevent previous build to break new ones
This commit is contained in:
parent
e29de3160d
commit
9e37016673
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue