Messages in this thread | | | Date | Fri, 9 Feb 2007 00:20:49 +0100 (CET) | From | Roman Zippel <> | Subject | Re: The who needs reviews anyways [PATCH] |
| |
Hi,
On Thu, 8 Feb 2007, Linus Torvalds wrote:
> On Thu, 8 Feb 2007, Roman Zippel wrote: > > > I don't quite understand, the Makefile doesn't care anymore about /bin/sh > > with this patch, the Makefile checks only for $BASH and /bin/bash > > Exactly. > > The point is, neither $BASH nor /bin/bash may be set.
Is that really a problem? I think any system that has bash without /bin/bash is simply broken.
> If you run make while running tcsh, "BASH" won't be set. We've always just > defaulted to doing /bin/sh. Doesn't really seem to be a problem.
There are chances this is already broken anyway. We call external scripts using $(shell $(CONFIG_SHELL) ...), which ignores the "#! ..." setting.
bye, Roman - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |