> On 06/12/2012 01:14 PM, Ludovic Courtès wrote:
>> ‘$top_srcdir/gnulib/build-aux’ was indeed
> Can you please try to reproduce that problem with build-aux,
> if only artificially, along with the following patch?
Sorry, I’m not sure how to reproduce it, but the patch would most likely
avoid the problem altogether.