git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
gcc/gnattools
History
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
Makefile.in 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