From 0d0e5286a7884a58023b69b905e2b3a8fd1f73d1 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Sat, 20 Jun 2020 13:53:11 +0200
Subject: [PATCH] jenkins.sh: build against all available python versions
 (#44287)

---
 jenkins.sh | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/jenkins.sh b/jenkins.sh
index c99d0738..1192f43b 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -1,7 +1,10 @@
 #!/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
+set -e
+for python_version in `ls /usr/bin/python*.* | grep 'python[0-9]\+\.[0-9]\+$'`; do
+	echo Building for $python_version
+	./autogen.sh --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf --with-python=$python_version
+	make clean
+	make all V=1
+	make check V=1
+	make distcheck
+done