From 0d8367225698a83a6fc796008f86c0144a69aa4c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 13:27:06 +0000
Subject: Prevent proof-set-value from operating during compilation.

---
 generic/proof-config.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index c5feae4f..757b07e7 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -108,7 +108,9 @@ generic individual settings.
 The dynamic action call only happens when values *change*: as an
 approximation we test whether proof-config is fully-loaded yet."
   (set-default sym value)
-  (if (featurep 'proof-config)
+  (when (and
+	 (not noninteractive)
+	 (featurep 'proof-config))
       (if (fboundp sym)
 	  (funcall sym)
 	(if (boundp 'proof-assistant-symbol)
-- 
cgit v1.2.3