Segher Boessenkool 123451d73f 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 . From-SVN: r234721		2016-04-04 18:37:58 +02:00
..
ChangeLog
configure
configure.ac
Makefile.in