+2013-08-14 Cary Coutant <ccoutant@google.com>
+
+ * boards/fission.exp: Add -fdebug-types-section to debug_flags.
+
2013-08-13 Tom Tromey <tromey@redhat.com>
Yao Qi <yao@codesourcery.com>
# This requires a relatively recent version of gcc (>4.7) and gold
# for the linker.
-set_board_info debug_flags "-gdwarf-4 -gsplit-dwarf -Wl,--gdb-index"
+set_board_info debug_flags "-gdwarf-4 -gsplit-dwarf -fdebug-types-section -Wl,--gdb-index"
# This is needed otherwise dejagnu tries to rsh to host "fission". Blech.
# Double blech: set_board_info only sets the value if not already set.