Merge branch 'master' of ssh://vps.jankratochvil.net/var/lib/git/nethome

[nethome.git] / bin / runtest-gdbserver

diff --git a/bin/runtest-gdbserver b/bin/runtest-gdbserver
deleted file mode 100755 (executable)
index e16865c274522deb68befe67c72f414819513371..0000000000000000000000000000000000000000
--- a/bin/runtest-gdbserver
+++ /dev/null
@@ -1,2 +0,0 @@
-#! /bin/sh
-DEJAGNU=$HOME/src/runtest-gdbserver/site.exp runtest --target_board native-gdbserver "$@"

diff --git a/bin/runtest-gdbserver b/bin/runtest-gdbserver
new file mode 120000 (symlink)
index 0000000000000000000000000000000000000000..090a3b1a74f10fd651388f4d797826e47d5d0f46
--- /dev/null
+++ b/bin/runtest-gdbserver
@@ -0,0 +1 @@
+../src/runtest-gdbserver/runtest-gdbserver
\ No newline at end of file