[patch] boards/dwarf4-gdb-index.exp: New file.

[dje at google dot com]

Hi.

This board file simplifies testing of dwarf4 debug info (w/ .debug_types)
and .gdb_index.
I will check it in in a few days if there are no objections.

Tested with amd64-linux.

2012-09-11  Doug Evans  <dje@google.com>

	* boards/dwarf4-gdb-index.exp: New file.

Index: boards/dwarf4-gdb-index.exp
===================================================================
RCS file: boards/dwarf4-gdb-index.exp
diff -N boards/dwarf4-gdb-index.exp
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ boards/dwarf4-gdb-index.exp	11 Sep 2012 22:26:08 -0000
@@ -0,0 +1,37 @@
+# Copyright 2012 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# This file is a dejagnu "board file" and is used to run the testsuite
+# with dwarf4 debug information and gdb-generated .gdb_index.
+#
+# Example usage:
+# bash$ make check RUNTESTFLAGS='--target_board=dwarf4-gdb-index'
+
+# This is copied from baseboards/unix.exp.
+# At the moment this only supports things that unix.exp supports.
+load_generic_config "unix"
+process_multilib_options ""
+set_board_info compiler "[find_gcc]"
+
+set_board_info debug_flags "-gdwarf-4 -fdebug-types-section"
+
+set contrib_dir [file normalize $srcdir/../contrib]
+set CC_FOR_TARGET "/bin/sh $contrib_dir/cc-with-tweaks.sh -i gcc"
+set CXX_FOR_TARGET "/bin/sh $contrib_dir/cc-with-tweaks.sh -i g++"
+
+# This is needed otherwise dejagnu tries to rsh to host "dwarf4-gdb-index".
+# set_board_info only sets the value if not already set.
+unset_board_info isremote
+set_board_info isremote 0