Segher Boessenkool 123451d73f 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

2016-04-04 18:37:58 +02:00

..

ChangeLog

gnattools: Clean config.cache (PR70173)

2016-04-04 18:37:58 +02:00

configure

configure.ac (*-*-dragonfly*): New configuration.

2015-06-08 07:27:56 +00:00

configure.ac

configure.ac (*-*-dragonfly*): New configuration.

2015-06-08 07:27:56 +00:00

Makefile.in

gnattools: Clean config.cache (PR70173)

2016-04-04 18:37:58 +02:00