[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: |
Fri, 16 Oct 2015 18:41:28 +0000 (UTC) |
Well, I know I am asking about 3.81 and I am sorry. I don't have a choice,
3.81 is incompatible with 3.82 and forward and we are using 3.81 in that jail.
From: Tim Murphy <address@hidden>
To: Mark Galeck <address@hidden>
Cc: "address@hidden" <address@hidden>; "address@hidden" <address@hidden>
Sent: Friday, October 16, 2015 2:22 AM
Subject: Re: how to use a different /bin/sh with GNU Make?
It's just a slight shame to now be debugging 3.81 instead of 4.
Regards,