From 846279ff21bca796cbd1eb12ace540ff5ad0abb6 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Christophe=20Thi=C3=A9ry?= Date: Wed, 25 Jan 2012 14:16:43 +0100 Subject: [PATCH] Die if the context/synchro option is wrong --- src/surf/surf_config.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c index 3f495f3e9d..6cd40b291d 100644 --- a/src/surf/surf_config.c +++ b/src/surf/surf_config.c @@ -247,7 +247,7 @@ static void _surf_cfg_cb_contexts_parallel_mode(const char *name, int pos) SIMIX_context_set_parallel_mode(XBT_PARMAP_BUSY_WAIT); } else { - XBT_WARN("Command line setting of the parallel synchronization mode should " + xbt_die("Command line setting of the parallel synchronization mode should " "be one of \"posix\", \"futex\" or \"busy_wait\""); } } -- 2.20.1