diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-28 13:55:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-28 13:55:40 +0000 |
commit | c33a4b28e1320fe604b8530f3ac0d8b0b0b550d6 (patch) | |
tree | e0ee26f2a1c93333a518e702acc3786278a0b4df /isar/isabelle-system.el | |
parent | a5f4838e1f1ad715b476041e9b6942312604103b (diff) |
Prevent prompt during compilation
Diffstat (limited to 'isar/isabelle-system.el')
-rw-r--r-- | isar/isabelle-system.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 |