Re: [Bug-gnulib] Module: poll (take 2)

[Paolo Bonzini]

> Thanks a lot. I've added this to the repository, with a few tiny
> modifications:

Thanks to you.

> - modules/poll: Add poll.h to DISTCLEANFILES, otherwise, if after
>   building on a platform not supporting poll you do "make distclean"
>   and build on a platform with built-in poll, you'd get strange errors
>   because it would use the leftover lib/poll.h.

And, maybe worse, it would not pass "make distcheck".

-- 
|_  _  _ __
|_)(_)| ) ;'_.