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
..
ISSUE_TEMPLATE	DOC: Replace issue templates by issue forms	2021-06-24 04:15:04 +02:00
workflows	CI: coverity: simplify debugging options	2022-03-04 14:33:55 +01:00
errorfile
h2spec.config	MEDIUM: config: Deprecate tune.ssl.capture-cipherlist-size	2021-08-26 19:52:04 +02:00
matrix.py	CI: github actions: use cache for OpenTracing	2022-01-13 13:37:34 +01:00
vtest.json	CI: Expand use of GitHub Actions for CI	2020-11-10 10:15:17 +01:00