This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] gnattools: Clean config.cache (PR70173)
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Segher Boessenkool <segher at kernel dot crashing dot org>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Mon, 04 Apr 2016 18:02:36 +0200
- Subject: Re: [PATCH] gnattools: Clean config.cache (PR70173)
- Authentication-results: sourceware.org; auth=none
- References: <45f594e2170784289e597113ec2036d651a02f7d dot 1459770969 dot git dot segher at kernel dot crashing dot org>
> 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 <segher@kernel.crashing.org>
>
> gnattools/
> PR bootstrap/70173
> * Makefile.in (distclean): Also delete config.cache .
Sure, thanks.
--
Eric Botcazou