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

From: Robert Ransom <>
Date: Thu, 20 May 2010 06:14:50 -0700

On Thu, 20 May 2010 14:51:37 +0200
David Schmid <> wrote:

> Hello dear subscribers,
> when compiling the wmii+ixp-3.9b1 on a solaris box, make calls /bin/sh
> to evaluate several scripts. Since /bin/sh is really old around here,
> make dies instantly because /bin/sh can't interpret the scripts ("/bin
> sh: bad substitution").
> Since relinking /bin/sh to /bin/bash is neiter a decent nor any option
> here, how do I get make to use /bin/bash and not /bin/sh?
> 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.

Can you chroot?

> The only thing that came up on #suckless was LD_PRELOAD to overwrite the
> system calls... but that might take some time to do and is not a clean
> option either. But it looks interesting enough to try out some time.
> Any ideas?

The long-term Right Thing is probably a Makefile-to-shell-script

Robert Ransom
Received on Thu May 20 2010 - 13:14:50 UTC

This archive was generated by hypermail 2.2.0 : Thu May 20 2010 - 13:24:01 UTC