diff options
Diffstat (limited to 'erts')
| -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) |