projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d27ecc4) | patch
gnattools: Clean config.cache (PR70173)
authorSegher Boessenkool <segher@kernel.crashing.org>
Mon, 4 Apr 2016 16:37:58 +0000 (18:37 +0200)
committerSegher Boessenkool <segher@gcc.gnu.org>
Mon, 4 Apr 2016 16:37:58 +0000 (18:37 +0200)
commit123451d73f19ce13a60437fa225388dea74020c4
tree2c9ecb48f2407fcc5036946465031ca191a50042tree
parentd27ecc497ca88c0e24dcbd2e9f7c718bfbfe890fcommit | diff
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 .

From-SVN: r234721
gnattools/ChangeLog diff | blob | history
gnattools/Makefile.in diff | blob | history