From c33a4b28e1320fe604b8530f3ac0d8b0b0b550d6 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 28 Jan 2008 13:55:40 +0000
Subject: Prevent prompt during compilation

---
 isar/isabelle-system.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'isar/isabelle-system.el')

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index fb7e4f80..46492eac 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -79,7 +79,8 @@ remain unverified.
 Returns non-nil if isa-isatool-command is surely an executable
 with full path."
   (interactive)
-  (unless (or proof-rsh-command 
+  (unless (or noninteractive
+	      proof-rsh-command 
 	      isatool-not-found 
 	      (file-executable-p isa-isatool-command))
     (setq isa-isatool-command
-- 
cgit v1.2.3