diff --git a/jenkins.sh b/jenkins.sh index c02aa7d3..0c6d5b72 100755 --- a/jenkins.sh +++ b/jenkins.sh @@ -1,3 +1,4 @@ ./autogen.sh ./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf +make all check make distcheck