Re: Makefile and SHELL

2013-05-07 Thread Michael Stahl
On 07/05/13 02:35, Bjoern Michaelsen wrote: Hi, On Tue, May 07, 2013 at 02:01:25AM +0200, Mat M wrote: In Makefile.in, we enforce bash with SHELL=/usr/bin/env bash, but we yes, that is in the top-level Makefile. state that the build should be posix enabled (at least I was told that :)) ,

Makefile and SHELL

2013-05-06 Thread Mat M
, but they have the right shebang line and SHELL will be the default shell used by $(shell...) command, no ? Moreover, in Makefile.gbuild we have : ifdef gb_SHELL SHELL := $(gb_SHELL) else SHELL := /bin/sh endif So SHELL in global makefile is only used for sources.ver from tarball and to echo

Re: Makefile and SHELL

2013-05-06 Thread Bjoern Michaelsen
Hi, On Tue, May 07, 2013 at 02:01:25AM +0200, Mat M wrote: In Makefile.in, we enforce bash with SHELL=/usr/bin/env bash, but we state that the build should be posix enabled (at least I was told that :)) , so why not SHELL=/usr/bin/env sh or SHELL=/bin/sh (or nothing, since latter is default)