From 804db0bbd45c7a4ce570cdfad7a81a2cb2dd5f6f Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Sat, 12 Aug 2017 10:31:58 +0200
Subject: [PATCH] jenkins.sh: add V=1

---
 jenkins.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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