diff options
| author | Rickard Green <[email protected]> | 2016-09-01 16:15:31 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-09-01 16:15:31 +0200 |
| commit | 38daafda48a5d3ecc20eddc3372daeedbe152f0f (patch) | |
| tree | 13d34509ba979a646c5237baee6586208bb1a1d0 | |
| parent | a58f6dd61a4df4b5f5b869279bfc1175a50a4e8c (diff) | |
| parent | c80b031b42eb3b52f7138c874defcd555446dba7 (diff) | |
| download | otp-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.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) |