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 <seg...@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
