diff options
Diffstat (limited to 'deprecated/dejagnu/boards/gdbserver.sh.in')
-rw-r--r-- | deprecated/dejagnu/boards/gdbserver.sh.in | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/deprecated/dejagnu/boards/gdbserver.sh.in b/deprecated/dejagnu/boards/gdbserver.sh.in deleted file mode 100644 index b74c685c..00000000 --- a/deprecated/dejagnu/boards/gdbserver.sh.in +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash - -REMOTE_SSH_FLAGS="-i __tmp_testing_rsa__ -o StrictHostKeyChecking=no -o CheckHostIP=no -o BatchMode=yes -o ControlMaster=auto -o ControlPath=__tmp_dir__/%r@%h:%p" -FLAGS_remote=__board_hostname__ - -gdbserver_cmd="/usr/local/bin/gdbserver $1 $2 $3" -ssh_cmd="nohup ${gdbserver_cmd} " - -echo "Executing: ssh ${RSA_FILE} ${REMOTE_SSH_FLAGS} root@${FLAGS_remote} \"${ssh_cmd}\"" >&2 - -ssh ${REMOTE_SSH_FLAGS} root@${FLAGS_remote} "killall -9 gdbserver; ${ssh_cmd}" - |