Re: how to use a different /bin/sh with GNU Make?

[Paul Smith]

On Thu, 2015-10-15 at 04:15 +0000, Mark Galeck wrote:
> Paul gave me the hack, unfortunately, it is for 4.1, when I tried to
> do the similar thing for 3.81, it did not work.

The code in 3.81 is very different.  Offhand it looks like you need to
edit job.c around line 2339, and change this:

  /* See if it is safe to parse commands internally.  */
  if (shell == 0)
    shell = default_shell;

To this:

  /* See if it is safe to parse commands internally.  */
  goto slow;
  if (shell == 0)
    shell = default_shell;

so it always chooses the slow path.

Note I didn't try this.