On Sat, 2019-09-21 at 21:21 -0400, Dmitry Goncharov wrote: > On Sat, Sep 21, 2019 at 04:54:59PM -0400, Paul Smith wrote: > > I pushed a different fix for this issue. Thanks for noticing! > Thank you. > Do you intentionally avoid $! in the "Cannot execute" error message?
No, I just didn't change that code at all so it never came up. I can add it. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make