From: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Date: Mon, 11 Oct 2010 16:21:51 GMT
Subject: Re: [RFC PATCH] Makefile: Turn off the configure target by default
Message-ID: <AANLkTimAj_sCquCixmTOEV5ZaQVbbv-yvm=Yw82har1t@mail.gmail.com>
In-Reply-To: <4CB32D15.4080204@drmicha.warpmail.net>

On Mon, Oct 11, 2010 at 15:28, Michael J Gruber
<git@drmicha.warpmail.net> wrote:
> Jakub Narebski venit, vidit, dixit 11.10.2010 17:18:
>> Because ./configure script enhances Makefile rather than generate it,
>> using configure script can only improve situation (at the cost of extra
>> cycles spent detecting)... well, with exception of rare cases bugs in
>> configure.ac making it misdetect.
>
> My observations on the list don't quite confirm that "configure" can
> only improve the make situation, but I don't use it myself. So, I'll let
> those give configure advice who use it.

If it doesn't improve it that's a bug that we need to fix. I haven't
seen/found any of the threads/issues in question. Would you mind
pointing some of them out, maybe the problems you cite are easy to
fix.