GNU bug report logs - #27960
[PATCH] Add more caching in configure

Previous Next

Full log

View this message in rfc822 format

From: npostavs <at> users.sourceforge.net
To: Glenn Morris <rgm <at> gnu.org>
Cc: 27960 <at> debbugs.gnu.org
Subject: bug#27960: [PATCH] Add more caching in configure
Date: Mon, 07 Aug 2017 09:39:23 -0400

Glenn Morris <rgm <at> gnu.org> writes:

> npostavs <at> users.sourceforge.net wrote:
>
>> Actually, the thing which triggered this is the pause to show the
>> message about the GTK bug (I didn't notice it was just a pause at
>> first).  I've added an option to disable the pause
>
> I don't think that's worth a configure option; I think you may as well
> just remove the pause. Or not pause if gtk was explicitly requested?
> But probably just delete the pause.

Maybe instead of pausing, we should move the warning to the bottom like
the movemail one?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.