GNU bug report logs - #16364
auto-compile noise can't be avoided by script

Previous Next

Full log

View this message in rfc822 format

From: Zefram <zefram <at> fysh.org>
To: Ludovic Courtes <ludo <at> gnu.org>
Cc: 16364 <at> debbugs.gnu.org
Subject: bug#16364: auto-compile noise can't be avoided by script
Date: Fri, 17 Jan 2014 21:56:09 +0000

Ludovic Courtes wrote:
>However, you can set the environment variable GUILE_AUTO_COMPILE=0.
>
>Do you think that would solve the problem?

It does not solve the problem.  Firstly, it can't be done from the
#! line at all, so the script can't do it early enough.  It only works
if it's already been set by the user, which is no good for what should
be an internal detail of the program.  Secondly, it suffers the second
problem that I noted with --no-auto-compile: if there's already a cached
compilation then that'll be looked at, and if it's out of date then a
"newer than" banner is emitted.  With the environment variable set the
cached version will never be updated, nor will it be deleted, so the
banner then appears on every execution.

-zefram

Previous Next

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