Small PATCH to dejagnu/lib/utils.exp

[Jason Merrill]

This patch tweaks runtest_file_p so that a user can say
"foo.exp=bar/baz.C"; currently only "foo.exp=baz.C" and
"foo.exp=/full/path/to/bar/baz.C" are accepted.  I suppose the user could
provide the initial wildcard themselves, but this seems more friendly.

The patch also corrects the erroneous documentation for the function.

OK to apply?  Anyone?

2001-07-17  Jason Merrill  <jason_merrill@redhat.com>

	* lib/utils.exp (runtest_file_p): An argument can match trailing
	directories as well as the basename.