aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRickard Green <[email protected]>2016-09-01 16:15:31 +0200
committerRickard Green <[email protected]>2016-09-01 16:15:31 +0200
commit38daafda48a5d3ecc20eddc3372daeedbe152f0f (patch)
tree13d34509ba979a646c5237baee6586208bb1a1d0
parenta58f6dd61a4df4b5f5b869279bfc1175a50a4e8c (diff)
parentc80b031b42eb3b52f7138c874defcd555446dba7 (diff)
downloadotp-38daafda48a5d3ecc20eddc3372daeedbe152f0f.tar.gz
otp-38daafda48a5d3ecc20eddc3372daeedbe152f0f.tar.bz2
otp-38daafda48a5d3ecc20eddc3372daeedbe152f0f.zip
Merge branch 'rickard/default-dirty-schedulers/OTP-13860'
* rickard/default-dirty-schedulers/OTP-13860: 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)