diff options
| author | Stef Walter <stefw@gnome.org> | 2013-05-15 11:52:52 +0200 |
|---|---|---|
| committer | Stef Walter <stefw@gnome.org> | 2013-05-15 11:52:52 +0200 |
| commit | 06a84bafc7c5f0ac92883e9219a7c00f456df39c (patch) | |
| tree | fa829e134372de0a30259134bd365a0aa2193dfb /automaint.sh | |
| parent | de8b99e2f04f94313a7748adedf7535603013951 (diff) | |
| download | p11-kit-06a84bafc7c5f0ac92883e9219a7c00f456df39c.tar.gz | |
Fail early when running automaint.sh
Diffstat (limited to 'automaint.sh')
| -rwxr-xr-x | automaint.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/automaint.sh b/automaint.sh index 96cb60c..487bf50 100755 --- a/automaint.sh +++ b/automaint.sh @@ -1,5 +1,7 @@ #!/bin/sh +set -e + NOCONFIGURE=1 ./autogen.sh ARGS="--enable-strict --enable-debug" |