diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/doc/install.texi | 3 |
2 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 549ff68..c8e1c16 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2003-10-17 Andrew Pinski <pinskia@physics.uc.edu> + + PR bootstrap/12546 + * doc/install.texi: Document that zsh does not work when + configuring gcc. + + 2003-10-17 Nathanael Nerode <neroden@gcc.gnu.org> * config/ptx4.h: Switch to DWARF 2; update comments. diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index 55c10ef..f91352f 100644 --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -256,6 +256,9 @@ use @command{bash} to be sure. Then set @env{CONFIG_SHELL} in your environment to your ``good'' shell prior to running @command{configure}/@command{make}. +It is known that @command{zsh} is not a fully compliant POSIX shell and will not +work when configuring gcc. + @item GNU binutils Necessary in some circumstances, optional in others. See the |