diff options
| -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" |