jenkins.sh: add V=1

2017-08-12 10:31:58 +02:00 · 2017-08-12 10:31:58 +02:00 · 804db0bbd4
parent 5798311da1
commit 804db0bbd4
1 changed files with 2 additions and 1 deletions
--- 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