| 12345678910111213141516171819202122232425 |
- *** ../bash-4.3-patched/execute_cmd.c 2014-01-31 10:54:52.000000000 -0500
- --- execute_cmd.c 2014-06-19 08:05:49.000000000 -0400
- ***************
- *** 2410,2414 ****
- lstdin = wait_for (lastpid);
- #if defined (JOB_CONTROL)
- ! exec_result = job_exit_status (lastpipe_jid);
- #endif
- unfreeze_jobs_list ();
- --- 2425,2438 ----
- lstdin = wait_for (lastpid);
- #if defined (JOB_CONTROL)
- ! /* If wait_for removes the job from the jobs table, use result of last
- ! command as pipeline's exit status as usual. The jobs list can get
- ! frozen and unfrozen at inconvenient times if there are multiple pipelines
- ! running simultaneously. */
- ! if (INVALID_JOB (lastpipe_jid) == 0)
- ! exec_result = job_exit_status (lastpipe_jid);
- ! else if (pipefail_opt)
- ! exec_result = exec_result | lstdin; /* XXX */
- ! /* otherwise we use exec_result */
- !
- #endif
- unfreeze_jobs_list ();
|
