commit bash-20141031 snapshot

2026-07-01 01:20:00 +02:00 · 2014-11-03 14:32:12 -05:00
parent e0722a04ec
commit f3aad56dce
52 changed files with 55059 additions and 2492 deletions
@@ -1224,6 +1224,8 @@ pipeline_command: pipeline
 			  /* XXX - let's cheat and push a newline back */
 			  if ($2 == '\n')
 			    token_to_read = '\n';
+			  else if ($2 == ';')
+			    token_to_read = ';';
 			}
 	|	BANG list_terminator
 			{
@@ -1242,6 +1244,8 @@ pipeline_command: pipeline
 			  /* XXX - let's cheat and push a newline back */
 			  if ($2 == '\n')
 			    token_to_read = '\n';
+			  if ($2 == ';')
+			    token_to_read = ';';
 			}
 	;