aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRickard Green <[email protected]>2016-07-19 16:14:59 +0200
committerRickard Green <[email protected]>2016-09-01 16:14:50 +0200
commitc80b031b42eb3b52f7138c874defcd555446dba7 (patch)
tree13d34509ba979a646c5237baee6586208bb1a1d0
parenta58f6dd61a4df4b5f5b869279bfc1175a50a4e8c (diff)
downloadotp-c80b031b42eb3b52f7138c874defcd555446dba7.tar.gz
otp-c80b031b42eb3b52f7138c874defcd555446dba7.tar.bz2
otp-c80b031b42eb3b52f7138c874defcd555446dba7.zip
Enable dirty scheduler support as default
-rw-r--r--erts/configure.in3
1 files changed, 1 insertions, 2 deletions
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)