[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Angelo.Graziosi: Problems with patched gnu make ? (was:Need Volunte

From: Eli Zaretskii
Subject: Re: [Angelo.Graziosi: Problems with patched gnu make ? (was:Need Volunteers to test patch for gnu make)]
Date: Mon, 02 Oct 2006 12:57:56 +0200

> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]