Re: [RFC] Correctly handling MinGW-w64

[Eli Zaretskii]

> Date: Mon, 17 Nov 2014 08:02:22 -0800
> From: Paul Eggert <address@hidden>
> 
> Given that we're now requiring GNU Make, I expect there's a lot of other 
> stuff 
> we could now move out of 'configure', if we had the time.  Which would be a 
> good 
> thing: 'configure' is reaaally slow and is a pain to maintain.  The smaller 
> it 
> is, the better.

I'm fine with that, but let's try to be more consistent about that
than we are now, and let's also record that somewhere in admin/notes.
The fact that I was surprised is probably an indication that others
might be, too.