On Wed, Aug 19, 2015 at 03:04:06PM +0100, Gavin Smith wrote: > > I thought it shouldn't happen because of the HAVE_CONFIG_H guard that > you added. If you don't think that's enough, feel free to change it.
I did it, only to discover that gnulib requires config.h, so that one need to add a stub file, at least according to that message: http://comments.gmane.org/gmane.comp.lib.gnulib.bugs/10862 This is too much added complexity, I believe, for a situation that is supposed to occur very rarely, so I think that it is better not to change the file name. -- Pat
