mirrors/gcc
1
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-11-23 10:54:07 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

gnattools: Clean config.cache (PR70173)

Browse Source 
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 .

From-SVN: r234721
This commit is contained in:
Segher Boessenkool 2016-04-04 18:37:58 +02:00 committed by Segher Boessenkool
parent d27ecc497c
commit 123451d73f
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gnattools/ChangeLog
View File

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

2
gnattools/Makefile.in
View File

@ -309,7 +309,7 @@ mostlyclean:
clean:
distclean:
$(RM) Makefile config.status config.log
$(RM) Makefile config.status config.log config.cache
maintainer-clean: