Problem reported by Ashley Pittman <ashley@quadrics.com>.
* main.c (captured_main): When in batch mode always detach.
2004-07-26 Andrew Cagney <cagney@gnu.org>
+ Problem reported by Ashley Pittman <ashley@quadrics.com>.
+ * main.c (captured_main): When in batch mode always detach.
+
+2004-07-26 Andrew Cagney <cagney@gnu.org>
+
* MAINTAINERS: Mark the xstormy16, sh64, ns32k, mn10300, mcore,
and h8300 as broken.
* NEWS: END-OF-LIFE frame compatibility module.
if (batch)
{
+ if (attach_flag)
+ /* Either there was a problem executing the command in the
+ batch file aborted early, or the batch file forgot to do an
+ explicit detach. Explicitly detach the inferior ensuring
+ that there are no zombies. */
+ target_detach (NULL, 0);
+
/* We have hit the end of the batch file. */
exit (0);
}