diff options
author | Jari Aalto <jari.aalto@cante.net> | 1999-02-19 17:11:39 +0000 |
---|---|---|
committer | Jari Aalto <jari.aalto@cante.net> | 2009-09-12 16:46:52 +0000 |
commit | b72432fdcc59300c6fe7c9d6c8a31ad3447933f5 (patch) | |
tree | b9899162338c2ff3fd83a8aef8831cb119e85cd7 /builtins/reserved.def | |
parent | bc4cd23ce958feda898c618215f94d8a4e8f4ffa (diff) | |
download | android_external_bash-b72432fdcc59300c6fe7c9d6c8a31ad3447933f5.tar.gz android_external_bash-b72432fdcc59300c6fe7c9d6c8a31ad3447933f5.tar.bz2 android_external_bash-b72432fdcc59300c6fe7c9d6c8a31ad3447933f5.zip |
Imported from ../bash-2.03.tar.gz.
Diffstat (limited to 'builtins/reserved.def')
-rw-r--r-- | builtins/reserved.def | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/builtins/reserved.def b/builtins/reserved.def index da59050..527fc15 100644 --- a/builtins/reserved.def +++ b/builtins/reserved.def @@ -89,7 +89,7 @@ $END $BUILTIN { ... } $DOCNAME grouping_braces -$SHORT_DOC { COMMANDS } +$SHORT_DOC { COMMANDS ; } Run a set of commands in a group. This is one way to redirect an entire set of commands. $END |