From f4b417c62a4f272c4cf9a074d0f7a3a97201f9db Mon Sep 17 00:00:00 2001 From: Sebastian Schmidt Date: Tue, 17 Apr 2012 11:23:35 +0200 Subject: Update to upstream bash 4.2 This upgrades bash to from 4.1-rc to 4.2-release. See CWRU/changelog for changes. Change-Id: I926269c300cf44fa25964b5b375a148fcf11c4b7 --- INSTALL | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index b6293fc..16fa685 100644 --- a/INSTALL +++ b/INSTALL @@ -376,8 +376,8 @@ does not provide the necessary support. The Restricted Shell::, for a description of restricted mode. `--enable-select' - Include the `select' builtin, which allows the generation of simple - menus (*note Conditional Constructs::). + Include the `select' compound command, which allows the generation + of simple menus (*note Conditional Constructs::). `--enable-separate-helpfiles' Use external files for the documentation displayed by the `help' -- cgit v1.1