On Fri, 9 Nov 2012, Terry Guo wrote: > You are right that we should make script POSIX compliant. This v3 patch > removed "function" and "local" which don't belong to POSIX standard. I also > verified that CONFIG_SHELL is passed to this script with value "/bin/sh".
Suppose /bin/sh is not a POSIX shell but the user sets CONFIG_SHELL to something else (which is a POSIX shell). Will SHELL in the makefile get set to the POSIX shell the user specified as CONFIG_SHELL? That's what's needed to be able to use POSIX shell features in this script. -- Joseph S. Myers jos...@codesourcery.com
