diff options
| author | Rickard Green <[email protected]> | 2016-07-19 16:14:59 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-09-01 16:14:50 +0200 |
| commit | c80b031b42eb3b52f7138c874defcd555446dba7 (patch) | |
| tree | 13d34509ba979a646c5237baee6586208bb1a1d0 /erts/configure.in | |
| parent | a58f6dd61a4df4b5f5b869279bfc1175a50a4e8c (diff) | |
| download | otp-c80b031b42eb3b52f7138c874defcd555446dba7.tar.gz otp-c80b031b42eb3b52f7138c874defcd555446dba7.tar.bz2 otp-c80b031b42eb3b52f7138c874defcd555446dba7.zip | |
Enable dirty scheduler support as default
Diffstat (limited to 'erts/configure.in')
| -rw-r--r-- | erts/configure.in | 3 |
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) |