Willy Tarreau d8ac3f5dbf CI: coverity: simplify debugging options ... We used to rely on a call to "sed" to modify the DEBUG option in the makefile when running under Coverity because it splits words around spaces and does not allow to pass multi-word build options. As reported by Tim in issue #1592, this broke with commit 8de7f2822 ("BUILD: makefile: enable both DEBUG_STRICT and DEBUG_MEMORY_POOLS by default") when the default DEBUG options changed. Let's change this to pass all DEBUG options one at a time instead and get rid of this sed.		2022-03-04 14:33:55 +01:00
..
codespell.yml	CI: refactor spelling check	2022-01-07 14:42:33 +01:00
compliance.yml	CI: github: enable pool debugging by default	2022-02-23 18:14:49 +01:00
contrib.yml	CI: Clean up formatting in GitHub Action definitions	2021-10-18 07:17:04 +02:00
coverity.yml	CI: coverity: simplify debugging options	2022-03-04 14:33:55 +01:00
musl.yml	CI: Consistently use actions/checkout@v2	2022-01-29 15:24:06 +01:00
openssl-nodeprecated.yml	CI: Consistently use actions/checkout@v2	2022-01-29 15:24:06 +01:00
vtest.yml	CI: github: enable pool debugging by default	2022-02-23 18:14:49 +01:00
windows.yml	CI: github: enable pool debugging by default	2022-02-23 18:14:49 +01:00