[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: a bug, i guess ...

From: Tom Tromey
Subject: Re: a bug, i guess ...
Date: 07 Feb 2001 23:34:15 -0700

>>>>> "Oswald" == Oswald Buddenhagen <address@hidden> 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 this before.
I've checked in a fix.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]