[dev] Re: wmii; make with /bin/bash not with /bin/sh

Robert Ransom writes:
> On Thu, 20 May 2010 14:51:37 +0200
> David Schmid <info_AT_david-schmid.de> wrote:
>> Measures tried:
>> - resetting PATH, since make calls /bin/sh and not sh it is never
>> looked up there
>> - setting BINSH or SHELL to /bin/bash won't work either.
>> - Asking for help at #suckless did not come up with immediate solution.
>
> I just tried "SHELL=/bin/echo make foo.o" on a system with GNU
> userland, and no luck -- GNU make won't help unless you patch it.

GNU make will never set the shell from the environment.

I've built wmii on Solaris without problems using

gmake SHELL=/bin/bash

-David
Received on Thu May 20 2010 - 16:49:49 UTC