diff mbox

gnattools: Clean config.cache (PR70173)

Message ID 45f594e2170784289e597113ec2036d651a02f7d.1459770969.git.segher@kernel.crashing.org
State New
Headers show

Commit Message

Segher Boessenkool April 4, 2016, 12:34 p.m. UTC 
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(-)

Comments

Eric Botcazou April 4, 2016, 4:02 p.m. UTC | #1 
> 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 .

Sure, thanks.
diff mbox

Patch

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: