CI: github: add -DDEBUG_LIST to the default builds
Add the -DDEBUG_LIST flag which allow to check if a list element was removed twice.
This commit is contained in:
parent
bbc215d3bd
commit
bb25ee7b26
|
@ -117,6 +117,7 @@ def main(ref_name):
|
|||
"TARGET": TARGET,
|
||||
"CC": CC,
|
||||
"FLAGS": [
|
||||
'DEBUG_CFLAGS="-DDEBUG_LIST"',
|
||||
"USE_ZLIB=1",
|
||||
"USE_OT=1",
|
||||
"OT_INC=${HOME}/opt-ot/include",
|
||||
|
|
Loading…
Reference in New Issue