diff options
author | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2013-11-20 08:49:00 +0100 |
---|---|---|
committer | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2013-11-20 08:49:00 +0100 |
commit | 9c08482b46e8d67085de2da38cd6c4b699674206 (patch) | |
tree | 87d1dac8878b7a8755d202c590824df980825bb3 | |
parent | 080548538d4e2622c04f1a5f9370d8c1889c2959 (diff) | |
download | lasso-9c08482b46e8d67085de2da38cd6c4b699674206.tar.gz lasso-9c08482b46e8d67085de2da38cd6c4b699674206.tar.xz lasso-9c08482b46e8d67085de2da38cd6c4b699674206.zip |
jenkins.sh: do not ignore errors
-rwxr-xr-x | jenkins.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ +#!/bin/bash -e ./autogen.sh ./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf make all check |