*** ../bash-4.2-patched/execute_cmd.c	2012-05-02 12:02:27.000000000 -0400
--- execute_cmd.c	2012-07-28 18:14:33.000000000 -0400
***************
*** 752,758 ****
  
  	/* XXX - this is something to watch out for if there are problems
! 	   when the shell is compiled without job control. */
! 	if (already_making_children && pipe_out == NO_PIPE &&
! 	    last_made_pid != last_pid)
  	  {
  	    stop_pipeline (asynchronous, (COMMAND *)NULL);
--- 776,784 ----
  
  	/* XXX - this is something to watch out for if there are problems
! 	   when the shell is compiled without job control.  Don't worry about
! 	   whether or not last_made_pid == last_pid; already_making_children
! 	   tells us whether or not there are unwaited-for children to wait
! 	   for and reap. */
! 	if (already_making_children && pipe_out == NO_PIPE)
  	  {
  	    stop_pipeline (asynchronous, (COMMAND *)NULL);