diff --git a/jenkins.sh b/jenkins.sh index 0c6d5b72..055167d1 100755 --- a/jenkins.sh +++ b/jenkins.sh @@ -1,3 +1,4 @@ +#!/bin/bash -e ./autogen.sh ./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf make all check