[Bug bootstrap/70173] make distclean: leaves stage_final and libcc1/compiler-name.h

[segher at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70173

--- Comment #5 from Segher Boessenkool <segher at gcc dot gnu.org> ---
Author: segher
Date: Mon Apr  4 16:37:58 2016
New Revision: 234721

URL: https://gcc.gnu.org/viewcvs?rev=234721&root=gcc&view=rev
Log:
gnattools: Clean config.cache (PR70173)

The config.cache file should be deleted by "make distclean", just like
config.log and config.status .  The directory itself is still not deleted
(just like the gotools and libcc1 directories).


gnattools/
        PR bootstrap/70173
        * Makefile.in (distclean): Also delete config.cache .

Modified:
    trunk/gnattools/ChangeLog
    trunk/gnattools/Makefile.in