From 005a88e9163568346875d49ce66bae655c0a3235 Mon Sep 17 00:00:00 2001
From: Pedro Gonnet <gonnet@google.com>
Date: Mon, 2 Mar 2015 10:03:07 +0100
Subject: [PATCH] switch off scheduler_doforcesplit by default, as this can
 cause problems elsewhere.

Former-commit-id: e61f0acc0684292c6592f56da3383a4eecfdcd2d
---
 src/scheduler.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scheduler.h b/src/scheduler.h
index 04986b73d0..f75f8d118b 100644
--- a/src/scheduler.h
+++ b/src/scheduler.h
@@ -24,7 +24,7 @@
 #define scheduler_dosub                      1
 #define scheduler_maxsteal                   10
 #define scheduler_maxtries                   2
-#define scheduler_doforcesplit               1
+#define scheduler_doforcesplit               0
 
 /* Flags . */
 #define scheduler_flag_none                  0
-- 
GitLab