aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2018-03-05 20:51:22 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2018-03-05 20:51:22 +0100
commit58fcc5344ea0e914c7f9be69c309998d243142bd (patch)
tree5099c8b486efb15d1fb166daed76df2ba0904611
parent2d5026b92b98f72b03254e42823983ba0da1e319 (diff)
jenkins.sh: use --enable-werror configure flag, not CFLAGS
-rwxr-xr-xcontrib/jenkins.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index ecaa1fe..d15cebe 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -36,7 +36,7 @@ echo
set -x
autoreconf --install --force
-./configure --enable-sanitize CFLAGS="-Werror" CPPFLAGS="-Werror"
+./configure --enable-sanitize --enable-werror
$MAKE $PARALLEL_MAKE
$MAKE distcheck \
|| cat-testlogs.sh