gdb/testsuite/

* gdb.base/valgrind-infcall.exp (valgrind_pid): New variable.
	Add final kill of ${valgrind_pid}.

gdb/testsuite/ChangeLog

@@ -1,3 +1,8 @@
+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

gdb/testsuite/gdb.base/valgrind-infcall.exp

@@ -79,6 +79,7 @@ gdb_test_multiple "" $test {
 }
 
 # 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
@@ -122,3 +123,6 @@ gdb_test_multiple $test $test {
 	pass $test
     }
 }
+
+# Only if valgrind got stuck.
+remote_exec host "kill -9 ${valgrind_pid}"