Re: extraclean and admin/grammars [was Re: Git master head build failure?]

[Lars Ingebrigtsen]

Glenn Morris <rgm@gnu.org> writes:

> 1) bootstrap-clean does not delete the generated leim files.
> This is because they are slow to rebuild and the sources rarely change.
>
> 2) bootstrap-clean does not delete the generated semantic grammars.
> These are not slow to rebuild. As my comment in admin/grammars/Makefile.in
> says, these could easily be deleted in bootstrap-clean.
> I don't even really remember why I did it that way now.
>
> Since several people seem to have an issue lately with these files
> getting corrupted, I have a good mind to make that change.

My preference would be for "make bootstrap" to delete these files, too
-- so that we have one simple, easy to remember recipe to give users who
have build problems.

Eli suggested adding an additional build target for this, but I'm not
sure I understood the reasoning behind it.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no