diff --git a/jenkins.sh b/jenkins.sh index 8acd7356..c99d0738 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