RE: gdb reverse execution: how to actually run tests for it?

["Jakob Engblom" <jakob@virtutech.com>]

> # Create an empty file named site.exp.
> # Create a directory named boards in the same location as site.exp.
> # Create a file named native-gdbserver.exp in the boards directory (see
below).
> # Set the DEJAGNU environment variable to point to the empty site.exp.
> # Run the testsuite with make check-gdb RUNTESTFLAGS="--target_board native-
> gdbserver".

Should such files be part of the gdb source tree, so that the tests for reverse
can be run without having to set up a local special board?

Trying to scope out the patch we are soon to contribute for MI commands for
reverse.

/jakob