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
