# for the linker.
# Note: -ggnu-pubnames is required for Gold to build .gdb_index, and while
# -gsplit-dwarf implies -ggnu-pubnames for gcc, it doesn't for clang.
-set_board_info debug_flags "-gdwarf-4 -gsplit-dwarf -ggnu-pubnames -fdebug-types-section -Wl,--gdb-index"
+set_board_info debug_flags \
+ [join { "-gdwarf-4" \
+ "-gsplit-dwarf" \
+ "-ggnu-pubnames" \
+ "-fdebug-types-section" \
+ "-Wl,--gdb-index" }]
# This is needed otherwise dejagnu tries to rsh to host "fission".
load_board_description "local-board"