diff options
Diffstat (limited to 'automaint.sh')
-rwxr-xr-x | automaint.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/automaint.sh b/automaint.sh index 975556d..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" @@ -41,7 +43,7 @@ done echo ' done' done - for target in distcheck memcheck leakcheck install upload-coverage \ + for target in distcheck memcheck leakcheck hellcheck install upload-coverage \ coverage upload-doc upload-release transifex; do echo "$target:" echo ' $(MAKE) -C ./local' $target |