[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: |
Thu, 15 Oct 2015 20:47:26 +0000 (UTC) |
>Yes this seems to work so far :) In fact I don't have to use //bin/sh . I
>can just do ahead of time
export MAKEFLAGS='SHELL=<different shell than /bin/sh>'
Until of course, some sub-makefile decided to change MAKEFLAGS internally...
overriding the environment