From: segher <segher@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon, 4 Apr 2016 16:37:58 +0000 (+0000)
Subject: gnattools: Clean config.cache (PR70173)
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=a66f43ae5b294188d865e8e427eae7640813a3a4;p=thirdparty%2Fgcc.git

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 bdcd968f308c..18aa7021d661 100644
--- 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 0c889eeec7b7..f949ca9b34bf 100644
--- 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: