subject:"\[PATCH\] gnattools\: Clean config.cache \(PR70173\)"

Re: [PATCH] gnattools: Clean config.cache (PR70173)

2016-04-04 Thread Eric Botcazou

> Tested on powerpc64-linux, --enable-languages=all,ada,go,obj-c++ , > followed by "make distclean". Is this okay for trunk? > > > Segher > > > 2016-04-04 Segher Boessenkool > > gnattools/ > PR bootstrap/70173 > * Makefile.in (distclean): Also

[PATCH] gnattools: Clean config.cache (PR70173)

2016-04-04 Thread Segher Boessenkool

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). Tested on powerpc64-linux, --enable-languages=all,ada,go,obj-c++ , followed by "make distclean". Is