diff --git a/jenkins.sh b/jenkins.sh index 055167d1..8acd7356 100755 --- a/jenkins.sh +++ b/jenkins.sh @@ -1,5 +1,6 @@ #!/bin/bash -e ./autogen.sh ./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf -make all check +make all V=1 +make check V=1 make distcheck