diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2018-09-03 13:19:41 +0200 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2018-09-03 13:19:41 +0200 |
commit | 5a7a95753640fcb1e04a8a8e7de20b3852b1abb5 (patch) | |
tree | ab1e1120d3d1a1e47faa9ef4bf53561f990bd0f3 | |
parent | c2a71184f8a42c92595c2c0b43351ba76fa8bfaf (diff) |
jenkins.sh: Use --enable-werror option
Change-Id: I8cfad742e6ce766b022ecdf4c78495accc9405d0
-rwxr-xr-x | contrib/jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 0b11ef3..00cd5ff 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -27,7 +27,7 @@ echo set -x autoreconf --install --force -./configure --enable-vty-tests --enable-external-tests +./configure --enable-werror --enable-vty-tests --enable-external-tests $MAKE $PARALLEL_MAKE $MAKE check \ || cat-testlogs.sh |