diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-11-09 09:34:59 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-11-09 09:34:59 +0200 |
commit | feab490f5f34bf8ecc52d2a439e68b3f2644ab47 (patch) | |
tree | b2cde88fec0710d687345b043ede4c7dedf21265 | |
parent | f4b2107284329b12f595eba856072b79b824a63f (diff) |
Fix testscript grammar error
-rw-r--r-- | doc/testscript.cli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/testscript.cli b/doc/testscript.cli index 146c932..6022d6c 100644 --- a/doc/testscript.cli +++ b/doc/testscript.cli @@ -759,10 +759,11 @@ command-if-body: *(variable-line|command-line) command-expr: command-pipe (('||'|'&&') command-pipe)* + *here-document + command-pipe: command ('|' command)* command: <path>(' '+(<arg>|redirect|cleanup))* command-exit? - *here-document redirect: stdin|stdout|stderr |