+runtest-valgrind

[nethome.git] / src / runtest-valgrind / runtest-valgrind

diff --git a/src/runtest-valgrind/runtest-valgrind b/src/runtest-valgrind/runtest-valgrind
new file mode 100755 (executable)
index 0000000..3e96650
--- /dev/null
+++ b/src/runtest-valgrind/runtest-valgrind
@@ -0,0 +1,2 @@
+#! /bin/sh
+DEJAGNU=$HOME/src/runtest-valgrind/site.exp runtest --target_board valgrind "$@"