> Date: Mon, 2 Oct 2006 12:30:13 +0200 (MET DST)
> From: Angelo Graziosi <[EMAIL PROTECTED]>
> cc: make-w32@gnu.org
> 
> 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.


_______________________________________________
Make-w32 mailing list
Make-w32@gnu.org
http://lists.gnu.org/mailman/listinfo/make-w32

Reply via email to