|> At the top of the Makefile we set the variable CONFIG_SHELL which than
|> should be a bash (if possible). Why don't setting the variable SHELL to
|> the value of CONFIG_SHELL? If we need bash features we should force to
|> use bash - or don't use bash features.
Please do the latter. Setting SHELL to a nonstandard value (different
from /bin/sh) causes *all* commands to be started with '$(SHELL) -c cmd'
instead of internally by make (which knows about the /bin/sh parsing
rules). That would kill performance quite a bit.
-- Andreas Schwab "And now for something schwab@issan.informatik.uni-dortmund.de completely different" schwab@gnu.org- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.altern.org/andrebalsa/doc/lkml-faq.html