[gdb/testsuite] Remove ${board}_file from remote-stdio-gdbserver.exp

Looking at the implementation of ${board}_file in remote-stdio-gdbserver.exp,
I don't see a relevant difference with the implementation of standard_file
in dejagnu.

Simplify the board by removing ${board}_file.

Tested on x86_64-linux, by running gdb.testsuite/board-sanity.exp.

diff --git a/gdb/testsuite/boards/remote-stdio-gdbserver.exp b/gdb/testsuite/boards/remote-stdio-gdbserver.exp
index c4e29e402fe0327883df14884228139615e5242b..1007b1991062b757a3ddde88c4f3bdc54f035ae2 100644 (file)
--- a/gdb/testsuite/boards/remote-stdio-gdbserver.exp
+++ b/gdb/testsuite/boards/remote-stdio-gdbserver.exp
@@ -86,14 +86,6 @@ proc get_target_remote_pipe_cmd { } {
     return "$rsh_cmd $gdbserver --once stdio $target_exec"
 }
 
-proc ${board}_file { dest op args } {
-    if { $op == "delete" } {
-       set res [remote_exec target "rm -f $args"]
-       return [lindex $res 0]
-    }
-    return [eval [list standard_file $dest $op] $args]
-}
-
 proc ${board}_spawn { board cmd } {
     global board_info