On Jan 16, 2006, [EMAIL PROTECTED] (Richard Kenner) wrote: > What it used to be "make" and "make bootstrap" are (and will be) > "./configure --disable-bootstrap && make" and "./configure && make".
> Rerunning configure is a pain! It's never just "./configure", but > has the source directory plus any options. ./config.status --recheck will show you exactly what it is. If you find that too much trouble, try this: sed -n '/^#.*\/configure/ s,^#,,p' config.status | sh -- Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/ Red Hat Compiler Engineer [EMAIL PROTECTED], gcc.gnu.org} Free Software Evangelist [EMAIL PROTECTED], gnu.org}