Date:	Wed, 31 May 2000 15:06:22 +0300 (IDT)
From:	Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender:	eliz AT is
To:	Laurynas Biveinis <lauras AT softhome DOT net>
cc:	djgpp-workers AT delorie DOT com, "Mark E." <snowball3 AT bigfoot DOT com>
Subject:	Re: Bash 2.04 beta 5 released
In-Reply-To:	<3934EC86.6E2815B4@softhome.net>
Message-ID:	<Pine.SUN.3.91.1000531150322.11385C-100000@is>
MIME-Version:	1.0
Reply-To:	djgpp-workers AT delorie DOT com
Errors-To:	nobody AT delorie DOT com
X-Mailing-List:	djgpp-workers AT delorie DOT com
X-Unsubscribes-To:	listserv AT delorie DOT com

On Wed, 31 May 2000, Laurynas Biveinis wrote:

>   1) Is it OK to distribute config.cache with sources? IMHO it conflicts
> with point of reconfiguration.

No, it's definitely not okay.  People who aren't familiar with running 
configure scripts will not realize they need to "make distclean" before 
reconfiguring, and will get wrong results.

If saying just "make" somehow requires config.cache to be present (I 
didn't see it in other GNU packages), then at least some README should 
say that "make distclean" is mandatory.

- Raw text -