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 <tnmur...@gmail.com> To: Mark Galeck <mark_gal...@pacbell.net> Cc: "psm...@gnu.org" <psm...@gnu.org>; "help-make@gnu.org" <help-make@gnu.org> 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, _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make