Hi Michal, Sam, On Tue, 10 Jun 2014 13:00:45 +0200 Michal Marek <mmarek@xxxxxxx> wrote: > On 2014-06-10 11:50, Sam Ravnborg wrote: > >> > >> The variable is assinged with a ":=", not a "?=", so you can't change it > >> from outside, can you? > > > > Variables assigned with ":=" can be changed like this: > > > > $ cat Makefile > > FOO := fisk > > $(info FOO=$(FOO)) > > all: > > @: > > > > $ FOO=bar make > > FOO=fisk > > > > $ make FOO=bar > > FOO=bar > > > > > > The first is the same as using an environment variable. > > The latter is a special make syntax. > > I see. But do we want to encourage people to change the value? IMO There > should be some "change this variable only if you know what you are > doing" warning. > > Michal IMHO: If all shell scripts invoked by $KBUILD_SHELL should be sh-compatible, "KBUILD_SHELL" should always be set to "/bin/sh" and users should not change it. I still don't understand why bash is preferable for KBUILD_SHELL. Best Regards Masahiro Yamada -- To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
