Hi Paul,

Paul Eggert <eggert@cs.u...> skribis:

> On 06/12/2012 01:14 PM, Ludovic Courtès wrote:
>> ‘$top_srcdir/gnulib/build-aux’ was indeed
>> r-xr-xr-x.
>
> 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.

Thanks,
Ludo’.