From bab9baefceedda169095ddcc16df47d35b2f6af3 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 8 Aug 2013 18:53:05 +0000
Subject: stm: (initial) support for -coq-slaves

Stm contains many TODO items to improve the thing, but it should
be already possible to play with it (but not use it in production).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16684 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/flags.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/flags.ml')

diff --git a/lib/flags.ml b/lib/flags.ml
index cff86dbbb4..43ebe1491a 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -46,6 +46,7 @@ let boot = ref false
 let batch_mode = ref false
 
 let ide_slave_mode = ref false
+let coq_slave_mode = ref (-1)
 
 let debug = ref false
 
-- 
cgit v1.2.3