diff options
author | Oliver Smith <osmith@sysmocom.de> | 2022-12-21 16:21:05 +0100 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2022-12-21 16:21:05 +0100 |
commit | a3193e4daa43ff0a99e9c5525a0cdcad95e02c0e (patch) | |
tree | 2ea400211a7f10abf229932fab9d07450cb33ca5 | |
parent | 69bb2fab2b41ead4a44d1b16c4f8f2482d1bddd5 (diff) |
contrib/jenkins.sh: werror with WITH_MANUALS too
Change-Id: I6f1bbbc8d3ac04e8a82fb954c59ec30d6be46c13
-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 ad59c84..36a4b61 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -28,7 +28,7 @@ osmo-build-dep.sh asn1c aper-prefix CONFIG="--enable-werror" if [ "$WITH_MANUALS" = "1" ]; then - CONFIG=" --enable-manuals" + CONFIG="$CONFIG --enable-manuals" fi set +x |