Re: [PATCH 3/3] remove lib/ms/

[Paolo Bonzini]

On 01/03/2012 07:21 PM, Paul Eggert wrote:
> The point of lib/ms was so that if I do this:
>
> cd lib
> grep something *.[ch]
>
> I don't find false matches for the Microsoft-specific stuff.
> Now that lib/ms/* has been moved into lib/*, I can't do that
> any more.  I'd really like for the Microsoft-specific code
> to be segregated better, so that I don't have to worry about it
> normally.

*-w32.c does the same.  Also, gnulib has plenty of MS-specific stuff in 
lib/ and without even the -w32 suffix.  Keeping a directory for the sake 
of 1 file didn't seem particularly useful.

Paolo