* gdb.base/valgrind-infcall.exp
	(continue #$continue_count) <remote connection closed>
	(continue #$continue_count) <valgrind vgdb has terminated>: Add kill of
	$valgrind_pid.
+2013-03-17  Jan Kratochvil  <jan.kratochvil@redhat.com>
+
+       * gdb.base/valgrind-infcall.exp
+       (continue #$continue_count) <remote connection closed>
+       (continue #$continue_count) <valgrind vgdb has terminated>: Add kill of
+       $valgrind_pid.
+
 2013-03-15  Tom Tromey  <tromey@redhat.com>
 
        * gdb.cp/overload.cc (intintfunc): New.
 
        }
        -re "Remote connection closed.*\r\n$gdb_prompt $" {
            fail "$test (remote connection closed)"
+           # Only if valgrind got stuck.
+           remote_exec host "kill -9 ${valgrind_pid}"
            return -1
        }
        -re "The program is not being run\\.\r\n$gdb_prompt $" {
            fail "$test (valgrind vgdb has terminated)"
+           # Only if valgrind got stuck.
+           remote_exec host "kill -9 ${valgrind_pid}"
            return -1
        }
        -re "\r\n$gdb_prompt $" {