From c80b031b42eb3b52f7138c874defcd555446dba7 Mon Sep 17 00:00:00 2001 From: Rickard Green Date: Tue, 19 Jul 2016 16:14:59 +0200 Subject: Enable dirty scheduler support as default --- erts/configure.in | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'erts/configure.in') diff --git a/erts/configure.in b/erts/configure.in index 9f3d267791..334ee4bd1d 100644 --- a/erts/configure.in +++ b/erts/configure.in @@ -1016,8 +1016,7 @@ case $ERTS_BUILD_SMP_EMU-$enable_dirty_schedulers in yes-yes) DIRTY_SCHEDULER_SUPPORT=yes;; yes-default) - ## Maybe yes for OTP 19... - DIRTY_SCHEDULER_SUPPORT=no;; + DIRTY_SCHEDULER_SUPPORT=yes;; no-default) DIRTY_SCHEDULER_SUPPORT=no;; no-yes) -- cgit v1.2.3