> So I've been tracing the execution of "configure", but I don't CONFIG_SHELL
> to be set, and the script reaches a point that the following happens:
>
> SHELL=${CONFIG_SHELL-/bin/sh}
> export SHELL
>
> So SHELL is now /bin/sh and config.status is generated as such:That could fail on some of the BSDs, too. Some of the BSDs place some of the shells in locations like /usr/local/bin. Jeff _______________________________________________ Autoconf mailing list [email protected] https://lists.gnu.org/mailman/listinfo/autoconf
