[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.
Tom