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 .

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@234721 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog
index bdcd968f308c62a5cf7b8f55bebb886f26d6dbdf..18aa7021d6618923e692282e38aa60e47d4b0d88 100644 (file)
--- a/gnattools/ChangeLog
+++ b/gnattools/ChangeLog
@@ -1,3 +1,8 @@
+2016-04-04  Segher Boessenkool  <segher@kernel.crashing.org>
+
+       PR bootstrap/70173
+       * Makefile.in (distclean): Also delete config.cache .
+
 2015-12-06  Eric Botcazou  <ebotcazou@adacore.com>
 
        PR ada/50048

diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in
index 0c889eeec7b7c73dae797c5179bb69cb9c108bad..f949ca9b34bfae9641c1f85dd931a53534aae94d 100644 (file)
--- a/gnattools/Makefile.in
+++ b/gnattools/Makefile.in
@@ -309,7 +309,7 @@ mostlyclean:
 clean:
 
 distclean:
-       $(RM) Makefile config.status config.log
+       $(RM) Makefile config.status config.log config.cache
 
 maintainer-clean: