diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2006-02-13 07:59:10 +0000 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2006-02-13 07:59:10 +0000 |
| commit | 25ca4c3c7058e72e41c6bf644cce292685e9a8c7 (patch) | |
| tree | 0fac446833323d1e1070d9b39d6fffd79b84bfca /doc/install.texi | |
| parent | cec2431f107b549c39f233e3a3f30062cc8ac02d (diff) | |
| download | autoconf-25ca4c3c7058e72e41c6bf644cce292685e9a8c7.tar.gz | |
* doc/install.texi (Defining Variables): Tighten up the
CONFIG_SHELL wording.
Diffstat (limited to 'doc/install.texi')
| -rw-r--r-- | doc/install.texi | 20 |
1 files changed, 5 insertions, 15 deletions
diff --git a/doc/install.texi b/doc/install.texi index 0e6e444a..8b2bb2f2 100644 --- a/doc/install.texi +++ b/doc/install.texi @@ -5,8 +5,8 @@ @unnumbered Installation Instructions -Copyright @copyright{} 1994, 1995, 1996, 1999, 2000, 2001, 2002, 2004, 2005 -Free Software Foundation, Inc. +Copyright @copyright{} 1994, 1995, 1996, 1999, 2000, 2001, 2002, 2004, +2005, 2006 Free Software Foundation, Inc. This file is free documentation; the Free Software Foundation gives unlimited permission to copy, distribute and modify it. @@ -228,24 +228,14 @@ causes the specified @command{gcc} to be used as the C compiler (unless it is overridden in the site shell script). @noindent -Unfortunately, there is a bug in Autoconf 2.60: the command - -@example -/bin/bash ./configure CONFIG_SHELL=/bin/bash -@end example - -@noindent -doesn't work as it should. A possible workaround is to set the variable in -the environment, too: +Unfortunately, this technique does not work for @env{CONFIG_SHELL} due +to an Autoconf bug. Until the bug is fixed you can use this +workaround: @example CONFIG_SHELL=/bin/bash /bin/bash ./configure CONFIG_SHELL=/bin/bash @end example -@noindent -This problem will be fixed in a future release of Autoconf. - - @node configure Invocation @section @command{configure} Invocation |