[PATCH v4 04/20] add configury

[Gerald Pfeifer]

On Tue, 15 Oct 2013, Tom Tromey wrote:
>> Is nobody else seeing this?  Or is everyone just lucky enough to have
>> a recent version of GCC as the default compiler?
> How exactly are you configuring and invoking "make"?
> I will try to reproduce it.

Super, thanks Tom!

I've tried to reproduce this manually and had some mixed results, but 
basically my script does this:

  % mkdir /scratch2/tmp/gerald/OBJ-1014-1920
  % cd /scratch2/tmp/gerald/OBJ-1014-1920
  % $GCC_SOURCE/configure --prefix=/home/gerald/something
  % gmake bootstrap-lean
  % gmake install

Wait a minute!  

It _looks_ like I can get this to succeed using "gmake bootstrap" 
and have the very same script fail using "gmake bootstrap-lean".

Can you reproduce that?

Gerald