diff options
| author | Lukas Larsson <[email protected]> | 2017-09-08 10:08:45 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2017-09-11 15:06:28 +0200 |
| commit | 769ff22c750d939fdc9cb45fae1e44817ec04307 (patch) | |
| tree | a85af00246ed16c54b0a39e7fc6200b25ae89a92 /erts/configure.in | |
| parent | c15bb1698267ae64aac08b3b48040c44174700e5 (diff) | |
| download | otp-769ff22c750d939fdc9cb45fae1e44817ec04307.tar.gz otp-769ff22c750d939fdc9cb45fae1e44817ec04307.tar.bz2 otp-769ff22c750d939fdc9cb45fae1e44817ec04307.zip | |
erts: Remove possibility to disable dirty schedulers
Diffstat (limited to 'erts/configure.in')
| -rw-r--r-- | erts/configure.in | 23 |
1 files changed, 1 insertions, 22 deletions
diff --git a/erts/configure.in b/erts/configure.in index 4184025a6c..2cb446b470 100644 --- a/erts/configure.in +++ b/erts/configure.in @@ -118,17 +118,9 @@ AS_HELP_STRING([--enable-bootstrap-only], with_ssl_zlib=no enable_hipe=no enable_sctp=no - enable_dirty_schedulers=no - fi + fi ]) -AC_ARG_ENABLE(dirty-schedulers, -AS_HELP_STRING([--enable-dirty-schedulers], [enable dirty scheduler support]), -[ case "$enableval" in - no) enable_dirty_schedulers=no ;; - *) enable_dirty_schedulers=yes ;; - esac ], enable_dirty_schedulers=default) - AC_ARG_ENABLE(dirty-schedulers-test, AS_HELP_STRING([--enable-dirty-schedulers-test], [enable dirty scheduler test (for debugging purposes)]), [ case "$enableval" in @@ -1064,20 +1056,7 @@ fi TYPES=opt -AC_MSG_CHECKING(whether dirty schedulers should be enabled) -case $enable_dirty_schedulers in - yes) - DIRTY_SCHEDULER_SUPPORT=yes;; - default) - DIRTY_SCHEDULER_SUPPORT=yes;; - *) - DIRTY_SCHEDULER_SUPPORT=no;; -esac -AC_MSG_RESULT($DIRTY_SCHEDULER_SUPPORT) -AC_SUBST(DIRTY_SCHEDULER_SUPPORT) - DIRTY_SCHEDULER_TEST=$enable_dirty_schedulers_test -test $DIRTY_SCHEDULER_SUPPORT = yes || DIRTY_SCHEDULER_TEST=no AC_SUBST(DIRTY_SCHEDULER_TEST) test $DIRTY_SCHEDULER_TEST != yes || { test -f "$ERL_TOP/erts/CONF_INFO" || echo "" > "$ERL_TOP/erts/CONF_INFO" |