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