From 9f55e34b93f3969827706f7d096acdd5d4723487 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Tue, 5 Jun 2012 11:07:25 +0200 Subject: [PATCH] do not hide issues --- src/surf/surf.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/surf/surf.c b/src/surf/surf.c index 3980bb289a..64b50d010b 100644 --- a/src/surf/surf.c +++ b/src/surf/surf.c @@ -525,6 +525,8 @@ double surf_solve(double max_date) /* parallel version */ #ifdef CONTEXT_THREADS xbt_parmap_apply(surf_parmap, (void_f_pvoid_t) surf_share_resources, model_list); +#else + xbt_die("Asked to run in parallel, but no thread at hand..."); #endif } else { -- 2.20.1