| https://lists.gnu.org/archive/html/bug-bash/2014-08/msg00048.html |
| |
| *** ../bash-4.3-patched/execute_cmd.c 2014-07-30 10:26:52.000000000 -0400 |
| --- execute_cmd.c 2014-08-11 16:55:57.000000000 -0400 |
| *************** |
| *** 2406,2410 **** |
| { |
| #if defined (JOB_CONTROL) |
| ! append_process (savestring (the_printed_command), dollar_dollar_pid, exec_result, lastpipe_jid); |
| #endif |
| lstdin = wait_for (lastpid); |
| --- 2433,2438 ---- |
| { |
| #if defined (JOB_CONTROL) |
| ! if (INVALID_JOB (lastpipe_jid) == 0) |
| ! append_process (savestring (the_printed_command_except_trap), dollar_dollar_pid, exec_result, lastpipe_jid); |
| #endif |
| lstdin = wait_for (lastpid); |