diff options
Diffstat (limited to 'coverity-scan.sh')
| -rwxr-xr-x | coverity-scan.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coverity-scan.sh b/coverity-scan.sh index f144444f..2050d13c 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -173,7 +173,8 @@ installit() { OTHER_OPTIONS="--disable-lto" OTHER_OPTIONS+=" --with-zlib" OTHER_OPTIONS+=" --with-math" -OTHER_OPTIONS+=" --enable-https" +OTHER_OPTIONS+=" --enable-lz4" +OTHER_OPTIONS+=" --enable-openssl" OTHER_OPTIONS+=" --enable-jsonc" OTHER_OPTIONS+=" --enable-plugin-nfacct" OTHER_OPTIONS+=" --enable-plugin-freeipmi" |