From 9ef5dbb1f340971036aa0c7d4d7a0986188fd971 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Tue, 26 Aug 2014 14:58:47 +0200
Subject: Do not pass "-batch" or "-load-vernac-source" to slaves, avoiding
 errors in stm test-suite files.

---
 stm/asyncTaskQueue.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stm/asyncTaskQueue.ml')

diff --git a/stm/asyncTaskQueue.ml b/stm/asyncTaskQueue.ml
index 36689e6e5f..5de80bbfc2 100644
--- a/stm/asyncTaskQueue.ml
+++ b/stm/asyncTaskQueue.ml
@@ -143,9 +143,9 @@ module Make(T : Task) = struct
         | [] -> !Flags.async_proofs_flags_for_workers @
                 ["-toploop"; T.name^"top";
                  "-worker-id"; id]
-        | ("-ideslave"|"-emacs"|"-emacs-U")::tl -> set_slave_opt tl
+        | ("-ideslave"|"-emacs"|"-emacs-U"|"-batch")::tl -> set_slave_opt tl
         | ("-async-proofs" |"-toploop" |"-vi2vo" |"-compile"
-          |"-compile-verbose")::_::tl -> set_slave_opt tl
+        |  "-load-vernac-source" | "-compile-verbose")::_::tl -> set_slave_opt tl
         | x::tl -> x :: set_slave_opt tl in
       let args =
         Array.of_list (set_slave_opt (List.tl (Array.to_list Sys.argv))) in
-- 
cgit v1.2.3