[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: how to use a different /bin/sh with GNU Make?
|
From: |
Mark Galeck |
|
Subject: |
Re: how to use a different /bin/sh with GNU Make? |
|
Date: |
Tue, 13 Oct 2015 12:19:07 +0000 (UTC) |
>If you want to force make to always start a shell and never use the fast
path the best way is to name your shell something else, like /bin/mgsh
or something, then set make's SHELL variable to that path. Since make
is no longer sure if your shell is a POSIX shell, it will never use the
fast path.
I know that Paul :) Every child in kindergarten knows the SHELL hack. Works
with one Makefile. Does not work on a massively recursive system. That is my
problem.