entrouvert
/
lasso
16
0
Fork 0
Code Issues Pull Requests Releases Activity

jenkins.sh: do not ignore errors

This commit is contained in:
Benjamin Dauvergne 2013-11-20 08:49:00 +01:00
parent 080548538d
commit 9c08482b46
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
jenkins.sh
View File

@ -1,3 +1,4 @@
#!/bin/bash -e
./autogen.sh
./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf
make all check