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
