Having the scripts work with other shells is very helpful for porting, cross building and the like.
I think it is fair game to require bash to build the kernel -- after all, GCC and GNU make are required already, and bash has many helpful features that not every POSIX shell has.
Also on Linux /bin/sh is not neccessarily /bin/bash.
Yes, it would be ridiculous to require /bin/sh to be bash. Especially since bash is installed as /bin/bash always :-) Segher - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
