bug#23203: 25.0.91; some loaddefs files have auto-save remnants after building (and install doesn't ignore them)

[Phillip Lord]

On Sun, April 3, 2016 12:47 pm, Achim Gratz wrote:
> Andreas Schwab writes:
>
>> Achim Gratz writes:
>>
>>> as there is no point of having a backup for an auto-generated file.
>>
>> I disagree.  Even for generated files you may want to check what has
>> changed when last regenerated.
>
> There was no previous version, this being a bootstrap build.  And if I
> want to check differences between builds, I can just use different build
> directories.

The attached patch fixes the problem in my hands (assuming we believe that
this is a bug). The solution may be a bit blunt, though, although the
function patched is documented as "use in batch during build".

Phil

fix.diff
Description: Text Data