diff options
Diffstat (limited to 'tools/check')
| -rwxr-xr-x | tools/check | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tools/check b/tools/check index bfecb0d..a3ad0ab 100755 --- a/tools/check +++ b/tools/check @@ -15,21 +15,24 @@ do case $type in debug) CFLAGS="-O0 -g3 -fsanitize=address,undefined" + OTHER="" ;; coverage) CFLAGS="-O0 -g3 --coverage -fcondition-coverage" + OTHER="--disable-shared" ;; release) CFLAGS="-O3" + OTHER="" ;; *) echo "Unsupported type" exit 1 ;; esac - ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS -Wall -Wextra -Werror -std=c89 -pedantic" + ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS -Wall -Wextra -Werror -std=c89 -pedantic" $OTHER make check - ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS" + ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS" $OTHER cd .. done |