diff options
Diffstat (limited to 'bashast/bashast.g')
-rw-r--r-- | bashast/bashast.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bashast/bashast.g b/bashast/bashast.g index 9fd3fdb..8943209 100644 --- a/bashast/bashast.g +++ b/bashast/bashast.g @@ -272,7 +272,7 @@ command_separator | AMP^ | EOL!; pipeline - : time? ((BANG) => (BANG BLANK!))? command^ (BLANK!? PIPE^ BLANK!? command)*; + : time? ((BANG) => (BANG BLANK!))? command^ (BLANK!? PIPE^ wspace!? command)*; time : TIME^ BLANK! ((time_posix) => time_posix)?; |