commit bash-20201226 snapshot

1 files changed, 3 insertions, 0 deletions

diff --git a/jobs.c b/jobs.c
index bc5c89fd..83c48a93 100644
--- a/jobs.c
+++ b/jobs.c
@@ -643,6 +643,9 @@ stop_pipeline (async, deferred)
 
       the_pipeline = (PROCESS *)NULL;
       newjob->pgrp = pipeline_pgrp;
+
+      /* Invariant: if the shell is executing a command substitution,
+	 pipeline_pgrp == shell_pgrp. Other parts of the shell assume this. */
       if (pipeline_pgrp != shell_pgrp)
 	pipeline_pgrp = 0;