This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH] gnattools: Clean config.cache (PR70173)
- From: Segher Boessenkool <segher at kernel dot crashing dot org>
- To: gcc-patches at gcc dot gnu dot org
- Cc: ebotcazou at adacore dot com, Segher Boessenkool <segher at kernel dot crashing dot org>
- Date: Mon, 4 Apr 2016 12:34:54 +0000
- Subject: [PATCH] gnattools: Clean config.cache (PR70173)
- Authentication-results: sourceware.org; auth=none
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).
Tested on powerpc64-linux, --enable-languages=all,ada,go,obj-c++ ,
followed by "make distclean". Is this okay for trunk?
Segher
2016-04-04 Segher Boessenkool <segher@kernel.crashing.org>
gnattools/
PR bootstrap/70173
* Makefile.in (distclean): Also delete config.cache .
---
gnattools/Makefile.in | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in
index 0c889ee..f949ca9 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:
--
1.9.3