aboutsummaryrefslogtreecommitdiffstats
path: root/builtins/reserved.def
diff options
context:
space:
mode:
authorJari Aalto <jari.aalto@cante.net>1999-02-19 17:11:39 +0000
committerJari Aalto <jari.aalto@cante.net>2009-09-12 16:46:52 +0000
commitb72432fdcc59300c6fe7c9d6c8a31ad3447933f5 (patch)
treeb9899162338c2ff3fd83a8aef8831cb119e85cd7 /builtins/reserved.def
parentbc4cd23ce958feda898c618215f94d8a4e8f4ffa (diff)
downloadandroid_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.def2
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