diff options
| author | Rickard Green <[email protected]> | 2014-01-28 15:53:03 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2014-01-28 15:53:03 +0100 |
| commit | 3c112fbde20a21db0cafc140aa72346f60315b90 (patch) | |
| tree | 9355dc94fae68ce2b1d9d08ca0a23484c8c59dfe /configure.in | |
| parent | f65764907faba7ea6ca1a6bb266b6c6612e06b7b (diff) | |
| parent | c1c03ae4ee50e58b7669ea88ec4d29c6b2b67c7b (diff) | |
| download | otp-3c112fbde20a21db0cafc140aa72346f60315b90.tar.gz otp-3c112fbde20a21db0cafc140aa72346f60315b90.tar.bz2 otp-3c112fbde20a21db0cafc140aa72346f60315b90.zip | |
Merge branch 'vinoski/ds'
* vinoski/ds:
initial support for dirty schedulers and dirty NIFs
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.in b/configure.in index d33e8bf125..88fd847030 100644 --- a/configure.in +++ b/configure.in @@ -196,6 +196,9 @@ AC_ARG_ENABLE(threads, AS_HELP_STRING([--enable-threads], [enable async thread support]) AS_HELP_STRING([--disable-threads], [disable async thread support])) +AC_ARG_ENABLE(dirty-schedulers, +AS_HELP_STRING([--enable-dirty-schedulers], [enable dirty scheduler support])) + AC_ARG_ENABLE(halfword-emulator, AS_HELP_STRING([--enable-halfword-emulator], [enable halfword emulator (only for 64bit builds)])) |