jenkins.sh: do not ignore errors
This commit is contained in:
parent
080548538d
commit
9c08482b46
|
@ -1,3 +1,4 @@
|
||||||
|
#!/bin/bash -e
|
||||||
./autogen.sh
|
./autogen.sh
|
||||||
./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf
|
./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf
|
||||||
make all check
|
make all check
|
||||||
|
|
Loading…
Reference in New Issue