Merge branch 'master' of git.sv.gnu.org:/srv/git/dejagnu

Conflicts:
	ChangeLog

diff --cc ChangeLog
index e7ca613,207878d..671629e
--- 1/ChangeLog
--- 2/ChangeLog
+++ b/ChangeLog
@@@ -1,14 -1,8 +1,19 @@@
 +2014-07-15  Maciej W. Rozycki  <macro@mips.com>
 +          Maciej W. Rozycki  <macro@codesourcery.com>
 +
 +      * lib/targetdb.exp (add_board_info): New procedure.
 +      * doc/ref.xml (Add_board_info Procedure): New section.
 +      (Set_board_info Procedure): Add description.
 +      (Unset_board_info Procedure): Likewise.
 +      * doc/user.xml (Board Config File Values): Add `add_board_info'
 +      reference.  Reorder `gdb_init_command' table rows and remove a
 +      duplicate entry, reusing it for `gdb_init_commands'.
 +
+ 2014-06-25  Rob Savoye  <rob.savoye@linaro.org>
+ 
+       * runtest.exp: (lookfor-file): Fix bug were none of the relative
+       paths were actually being used for file lookup.
+ 
  2014-06-06  Ben Elliston  <bje@gnu.org>
  
        * depcomp, install-sh, missing: Update to latest versions.