extended_remote_mourn ()
extended_remote_mourn (void)
extended_remote_mourn (){  /* We do _not_ want to mourn the target like this; this will     remove the extended remote target  from the target stack,     and the next time the user says "run" it'll fail.      FIXME: What is the right thing to do here?  */#if 0  remote_mourn_1 (&extended_remote_ops);#endif}