Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Remove --disable-perftools from coverity builds

Browse source
This commit is contained in:
Jon Siwek 2019-07-23 09:37:05 -07:00
parent 42e94d1ce2
commit 9698d8d7cc
3 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
testing/scripts/travis-job
View file

@ -53,7 +53,7 @@ build_coverity() {
# outside of Travis).
make distclean > /dev/null
./configure --prefix=`pwd`/build/root --enable-debug --disable-perftools --disable-broker-tests --disable-python --disable-zeekctl
./configure --prefix=`pwd`/build/root --enable-debug --disable-broker-tests --disable-python --disable-zeekctl
export PATH=`pwd`/coverity-tools/bin:$PATH
cd build