Hi Jonathan,
Thank you for your answer.
> No, don't configure in the source directory:
> https://gcc.gnu.org/wiki/FAQ#configure
OK.
> And it hasn't been necessary to run 'make bootstrap' for years, just
> running 'make' does exactly the same thing now.
Actually, "make" works better than "make
On Monday, December 4th, 2023 at 5:37 AM, Jonathan Wakely via Gcc
wrote:
>
>
> On Mon, 4 Dec 2023 at 12:19, Bruno Haible wrote:
>
> > Hi,
> >
> > I was asked to post a patch for a bugzilla PR to gcc-patches@. Two questions
> > regarding https://gcc.gnu.org/contribute.html#testing :
> >
> >
On Mon, 4 Dec 2023 at 12:19, Bruno Haible wrote:
>
> Hi,
>
> I was asked to post a patch for a bugzilla PR to gcc-patches@. Two questions
> regarding https://gcc.gnu.org/contribute.html#testing :
>
> 1) This web page says:
>"For a normal native configuration, running
>
> make bootstrap
>
Hi,
I was asked to post a patch for a bugzilla PR to gcc-patches@. Two questions
regarding https://gcc.gnu.org/contribute.html#testing :
1) This web page says:
"For a normal native configuration, running
make bootstrap
make -k check
from the top level of the GCC tree (not the
