[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:49:53 +0000 (UTC) |
>I assume this means that you can set it for the top-level make if
there is only one top-level make,
No I can't, the $(SHELL) variable is special and is not passed in the usual
way. You have to set it separately each time, or pass it every time on $(MAKE)
recipe line.