[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Autoconf 2.53: improved fix for problems with CONFIG_SHELL=bash
From: |
Akim Demaille |
Subject: |
Re: Autoconf 2.53: improved fix for problems with CONFIG_SHELL=bash |
Date: |
19 Mar 2002 16:51:58 +0100 |
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.4 (Common Lisp) |
| A value of "/bin/bash -norc" turned out to break certain make
| implementations which didn't expect SHELL to have any options, so I
| ended up settling on an alternative solution: inverting the loops in
| _AS_LINENO_PREPARE and making bash a last resort, favoring sane
| versions of ksh and the like.
|
| Please disregard the suggestions I made yesterday and consider this instead.
|
| for as_base in sh ksh sh5 bash; do
| _AS_PATH_WALK([/bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH],
| [case $as_dir in
| /*)
| if ("$as_dir/$as_base" -c '_AS_LINENO_WORKS') 2>/dev/null; then
| CONFIG_SHELL=$as_dir/$as_base
| export CONFIG_SHELL
| exec "$CONFIG_SHELL" "$[0]" ${1+"address@hidden"}
| fi;;
| esac
| done]);;
Hm... Paul, what do you think about this issue? I'm against moving
bash at the end. Actually, I'd be happy to see zsh promoted to a
higher rank too, I trust it much more than ksh (but I'm ready to be
proved wrong in the next weeks. If we don't think it has been tested
enough, we'll revert this before 2.54).
So maybe we should just keep SHELL != CONFIG_SHELL.
OTOH, I'm tempted to say that people asking for trouble, deserve to
get it. I'm not trying to remove rights :)