* gdb.base/valgrind-infcall.exp (valgrind_pid): New variable.
Add final kill of ${valgrind_pid}.
+2013-02-27 Jan Kratochvil <jan.kratochvil@redhat.com>
+
+ * gdb.base/valgrind-infcall.exp (valgrind_pid): New variable.
+ Add final kill of ${valgrind_pid}.
+
2013-02-20 Siva Chandra Reddy <sivachandra@google.com>
* gdb.python/py-arch.c: New test case
}
# Do not kill valgrind.
+set valgrind_pid [exp_pid -i [board_info host fileid]]
unset gdb_spawn_id
set board [host_info name]
unset_board_info fileid
pass $test
}
}
+
+# Only if valgrind got stuck.
+remote_exec host "kill -9 ${valgrind_pid}"