Robert Ransom writes: > On Thu, 20 May 2010 14:51:37 +0200 > David Schmid <i...@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
