Re: a bug, i guess ...

2001-02-07 Thread Tom Tromey
> "Oswald" == Oswald Buddenhagen <[EMAIL PROTECTED]> writes: Oswald> { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; } Oswald> (note the " around "make distclean" - they should be \") Thanks. Weirdly, nobody ever noticed thi

a bug, i guess ...

2001-02-06 Thread Oswald Buddenhagen
i found the following in my configure generated by autoconf 2.13 & automake 1.4: if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; } fi cat >> confdefs.