diff options
Diffstat (limited to 'tools/check')
| -rwxr-xr-x | tools/check | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tools/check b/tools/check index 63a5c6d..6e16098 100755 --- a/tools/check +++ b/tools/check @@ -15,14 +15,17 @@ do case $type in debug) CFLAGS="-O0 -g3 -fsanitize=address,undefined" + LDFLAGS="" OTHER="" ;; coverage) CFLAGS="-O0 -g3 --coverage -fcondition-coverage" + LDFLAGS="" OTHER="--disable-shared" ;; release) - CFLAGS="-O3" + CFLAGS="-O3 -flto" + LDFLAGS="-flto" OTHER="" ;; *) @@ -30,9 +33,9 @@ do exit 1 ;; esac - ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS -Wall -Wextra -Werror -std=c89 -pedantic" $OTHER + ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS -Wall -Wextra -Werror -std=c89 -pedantic" LDFLAGS="$LDFLAGS" $OTHER make -j check - ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS" $OTHER + ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" $OTHER cd .. done |