sim_kill() isn't used.

This commit is contained in:
Andrew Cagney
1997-06-06 03:02:51 +00:00
parent 84e8cd0fcf
commit aa02a0b0f2
4 changed files with 47 additions and 8 deletions

View File

@ -392,7 +392,8 @@ gdbsim_kill ()
if (sr_get_debug ())
printf_filtered ("gdbsim_kill\n");
sim_kill (gdbsim_desc); /* close fd's, remove mappings, etc. */
/* There is no need to `kill' running simulator - the simulator is
not running */
inferior_pid = 0;
}