r234721 - in /trunk/gnattools: ChangeLog Makefi...

[segher@gcc.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