| commit | a66f43ae5b294188d865e8e427eae7640813a3a4 | |
| author | segher <segher@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Apr 2016 16:37:58 +0000 (4 16:37 +0000) | ||
| committer | segher <segher@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Apr 2016 16:37:58 +0000 (4 16:37 +0000) | ||
| tree | 2c9ecb48f2407fcc5036946465031ca191a50042 | treesnapshot (tar.gz zip) |
| parent | d374a3a3e4de7f05e1188382fa9586e031e5b1c4 | commitdiff |
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
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
| gnattools/ChangeLog | diffblobblamehistory | |
| gnattools/Makefile.in | diffblobblamehistory |