From 9e3701667372568d5d990b5abd8dd23c7b0fe03c Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Thu, 28 Jun 2018 11:32:33 +0200
Subject: [PATCH] jenkins.sh: add a make clean to prevent previous build to
 break new ones

---
 jenkins.sh | 1 +
 1 file changed, 1 insertion(+)

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