Re: [Angelo.Graziosi: Problems with patched gnu make ? (was:Need Volunteers to test patch for gnu make)]

[Eli Zaretskii]

> Date: Mon, 2 Oct 2006 12:30:13 +0200 (MET DST)
> From: Angelo Graziosi <address@hidden>
> cc: address@hidden
> 
> Should I run "make -p --debug=i" just after 'configure' or shouls I run 
> 
>    configure
>    make
>    cd ....../.build/gcc
>    "make -p --debug=i"
>    ...

The latter one.

Actually, if you already have the configure'd source tree, just the
last 2 lines will do.