From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from cantor2.suse.de ([195.135.220.15]:56649 "EHLO mx2.suse.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750888AbaFJMWC (ORCPT ); Tue, 10 Jun 2014 08:22:02 -0400 Message-ID: <5396F868.1090609@suse.cz> Date: Tue, 10 Jun 2014 14:22:00 +0200 From: Michal Marek MIME-Version: 1.0 Subject: Re: [PATCH] kbuild: document KBUILD_SHELL References: <20140610201706.9614.AA925319@jp.panasonic.com> <5396EDD0.8030406@suse.cz> <20140610210249.961B.AA925319@jp.panasonic.com> In-Reply-To: <20140610210249.961B.AA925319@jp.panasonic.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Sender: linux-kbuild-owner@vger.kernel.org List-ID: To: Masahiro Yamada Cc: Sam Ravnborg , linux-kbuild@vger.kernel.org On 2014-06-10 14:02, Masahiro Yamada wrote: > Hi Michal, > > On Tue, 10 Jun 2014 13:36:48 +0200 > Michal Marek wrote: > >> On 2014-06-10 13:17, Masahiro Yamada wrote: >>> 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. >> >> I'm just speculating, but the reason might have been that if you are >> compiling Linux on some oddball UNIX system, the POSIX shell might not >> be "/bin/sh", but some other path, who knows which. But if $BASH is >> defined or if there is /bin/bash, then it's very likely the familiar GNU >> Bash. Hence the preference. Of course, the side effect is that it makes >> it easy to introduce bash-only constructs into the scripts :-/. > > Hmm, > We set the default value to /bin/sh (KBUILD_SHELL ?= /bin/sh) > but allowing oddball system users to override it like, > export KBUILD_SHELL=/bin/bash; make > > Does this sounds reasonable? I'm not against it in principle, but it will have to wait for the next merge window, so that it sees more testing in linux-next. I'd like to push the current set of changes to Linus and time is getting tight. Michal