From ee30558d4dfa36ff20ce18960b65697e65c8bc5d Mon Sep 17 00:00:00 2001
From: Pedro Gonnet <gonnet@google.com>
Date: Sun, 1 Mar 2015 23:15:22 +0100
Subject: [PATCH] switch off scheduler_doforcesplit by default, as this can
 cause problems elsewhere.

Former-commit-id: 8f2faf23a60506cf0ae04b5a3998e7d3658480bb
---
 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