[mc] Create a separate simgrid-mc program

[simgrid.git] / src / mc / mc_base.h

diff --git a/src/mc/mc_base.h b/src/mc/mc_base.h
index c46241459fc4fddde93d9d1641dfa08b0f37eaef..7027a930d6092c0b3b7aed9e5b705314d404ac1e 100644 (file)
--- a/src/mc/mc_base.h
+++ b/src/mc/mc_base.h
@@ -14,6 +14,10 @@
 
 SG_BEGIN_DECL()
 
+// This variable is set by simgrid-mc in order to enable MC support in the
+// children MC processes:
+#define MC_ENV_VARIABLE "SIMGRIC_MC"
+
 int MC_request_is_enabled(smx_simcall_t req);
 int MC_request_is_visible(smx_simcall_t req);
 void MC_wait_for_requests(void);