On Tue, 2019-09-10 at 17:47 +0300, Eli Zaretskii wrote: > > From: Paul Smith <psm...@gnu.org> > > Date: Tue, 10 Sep 2019 08:36:24 -0400 > > > > I plan to make a new release candidate this week. > > Did you have a chance to review the patch I proposed in > https://lists.gnu.org/archive/html/bug-make/2019-08/msg00106.html? > I'd like to install it.
Oh I already made that change... plus in another place that did similar things. Sorry I should have added a note about it. > Also, regarding SV 56449: are you okay with reverting that change, > given the discussion and OP's agreement with me? Yes, that's fine. I do think there's some uncleanliness about this. It's upsetting that Windows behaves so differently between the command line and batch file. It makes it very difficult to implement any sort of batch mode fallback. Oh well. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
