Mirror
/
ardupilot
mirror of https://github.com/ArduPilot/ardupilot
5
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

waf: use debug option 3 which records defines as well

This commit is contained in:
bugobliterator 2024-06-26 14:59:47 +10:00 committed by Peter Barker
parent 2363e972bc
commit 4260acb21a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Tools/ardupilotwaf/boards.py
View File

@ -286,7 +286,7 @@ class Board:
if cfg.env.DEBUG:
env.CFLAGS += [
'-g',
'-g3',
'-O0',
]
env.DEFINES.update(
@ -294,7 +294,7 @@ class Board:
)
elif cfg.options.debug_symbols:
env.CFLAGS += [
'-g',
'-g3',
]
if cfg.env.COVERAGE:
env.CFLAGS += [