Re: SHELL variable and its value from user’s environment

[Paul Smith]

On Sun, 2011-01-02 at 09:42 +0330, ali hagigat wrote:
> 5.3.2 Choosing the Shell
> Furthermore, when you do set SHELL in your makefile that value is not
> exported in the
> environment to recipe lines that make invokes. Instead, the value
> inherited from the user’s
> environment, if any, is exported.
> -----------------------------------------------------------------------------
> Would you please give an example?(when SHELL value is inherited from the 
> user’s
> environment)

$ SHELL=/bin/someshell
$ export SHELL
$ (echo 'SHELL = /bin/sh'; echo 'all: ; @echo $$SHELL') | make -f-
/bin/someshell

-- 
-------------------------------------------------------------------------------
 Paul D. Smith <address@hidden>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.mad-scientist.net
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist