From 4260acb21a5d4de562dba032a06bfb606049aeb3 Mon Sep 17 00:00:00 2001 From: bugobliterator Date: Wed, 26 Jun 2024 14:59:47 +1000 Subject: [PATCH] waf: use debug option 3 which records defines as well --- Tools/ardupilotwaf/boards.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Tools/ardupilotwaf/boards.py b/Tools/ardupilotwaf/boards.py index c8d1bbbc42..f3b35585af 100644 --- a/Tools/ardupilotwaf/boards.py +++ b/Tools/ardupilotwaf/boards.py @@ -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 += [