[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: how to use a different /bin/sh with GNU Make?
|
From: |
Paul Smith |
|
Subject: |
Re: how to use a different /bin/sh with GNU Make? |
|
Date: |
Fri, 16 Oct 2015 08:28:21 -0400 |
On Fri, 2015-10-16 at 08:27 +0000, Mark Galeck wrote:
> Here. Please don't be offended that I criticize the code you possibly
> wrote. I did not mean to. I just want to excuse why I find it
> necessary to ask you to help me.
I didn't write it; it's existed since forever. But the main problem is
that you're using code that's very old. And also the fact that you
can't get 4.1 to run makes me somewhat suspicious of your development
environment.