summaryrefslogtreecommitdiff
path: root/.cirrus.yml
diff options
context:
space:
mode:
authorFrancois-Xavier Le Bail <devel.fx.lebail@orange.fr>2023-02-27 19:17:51 +0100
committerFrancois-Xavier Le Bail <devel.fx.lebail@orange.fr>2023-02-27 20:35:40 +0100
commitab49361ad7d570b31c0f23df2a8f002d58e7e232 (patch)
tree1308bfc69525515778e51dd322b505e2dc83b519 /.cirrus.yml
parent05d4547d34b23fb438bf18a56537a54ff975f1e1 (diff)
downloadlibpcap-ab49361ad7d570b31c0f23df2a8f002d58e7e232.tar.gz
Cirrus CI: Configure with --enable-optimizer-dbg in the Coverity task
Diffstat (limited to '.cirrus.yml')
-rw-r--r--.cirrus.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml
index e57584c4..0da80a67 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -79,7 +79,7 @@ coverity_task:
MAKEFLAGS: -j 3
COVERITY_SCAN_PROJECT_NAME: $CIRRUS_REPO_FULL_NAME
COVERITY_SCAN_TOKEN: ENCRYPTED[58bfbfcf624e5b7b85fb9df95dd0b3f9f93642824e6ae94616e4d345af4848580932a6ece02337fee112194b29ce6593]
- COVERITY_SCAN_BUILD_COMMAND_PREPEND: ./configure --enable-remote
+ COVERITY_SCAN_BUILD_COMMAND_PREPEND: ./configure --enable-remote --enable-optimizer-dbg
COVERITY_SCAN_BUILD_COMMAND: make
script:
- apt-get -qy update >/dev/null