Re: proposed patch to re-execute "configure" with a LINENO-grokking shell

[Tim Van Holder]

> @@ -442,6 +446,20 @@ if test "x$as_lineno_1"  = "x$as_lineno_
>    if test ! -f "$as_myself"; then
>      AS_ERROR([cannot find myself; rerun with an absolute path])
>    fi
> +  case $CONFIG_SHELL in
> +  '')
> +    _AS_PATH_WALK([/bin:/usr/bin:$PATH],
> +      [for as_base in sh bash ksh sh5; do
> +      case $as_dir in
> +      /*)
> +        if ("$as_dir/$as_base" -c "$as_command") 2>/dev/null; then
> +          CONFIG_SHELL=$as_dir/$as_base
> +          export CONFIG_SHELL
> +          exec "$CONFIG_SHELL" "$[0]" ${1+"address@hidden"}
> +        fi;;
> +      esac
> +       done]);;
> +  esac

Please use $PATH_SEPARATOR, not ':' (even for such hardcoded Unix
paths), and use "[\\/]* | ?:[\\//]" to check for absolute paths.
I think all DOS/Win32-based systems that can run configure use a
POSIX-compatible shell to do so, but that's no reason not to
support DOSish environments here.