diff options
| author | Rickard Green <[email protected]> | 2015-07-08 22:36:43 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2015-07-08 22:36:43 +0200 |
| commit | 859428cc405e3000c625a6c44a80bd3b22ad113d (patch) | |
| tree | 9eb2d727884874fe241345cce142669fa9fe9ff2 /HOWTO/INSTALL.md | |
| parent | 3461837363d82e6c908ac81f664da4372aa3a8b0 (diff) | |
| parent | 61828f77ca2542109ece006d730a4f8fe3300616 (diff) | |
| download | otp-859428cc405e3000c625a6c44a80bd3b22ad113d.tar.gz otp-859428cc405e3000c625a6c44a80bd3b22ad113d.tar.bz2 otp-859428cc405e3000c625a6c44a80bd3b22ad113d.zip | |
Merge branch 'maint-18' into maint
* maint-18:
Updated OTP version
Prepare release
Fix calculation of end time
Prefer monotonic time that stop during suspend
Avoid unnecessary copying of data when retrieving corrected monotonic time
Add the --enable-gettimeofday-as-os-system-time configure switch
Diffstat (limited to 'HOWTO/INSTALL.md')
| -rw-r--r-- | HOWTO/INSTALL.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/HOWTO/INSTALL.md b/HOWTO/INSTALL.md index f8900c501b..837e6cbd76 100644 --- a/HOWTO/INSTALL.md +++ b/HOWTO/INSTALL.md @@ -400,6 +400,12 @@ Some of the available `configure` options are: no automatic dependency handling between applications. If you disable an application that another application depends on, you also have to disable the dependant application. +* `--enable-gettimeofday-as-os-system-time` - Force usage of `gettimeofday()` for + OS system time. +* `--enable-prefer-elapsed-monotonic-time-during-suspend` - Prefer an OS monotonic + time source with elapsed time during suspend. +* `--disable-prefer-elapsed-monotonic-time-during-suspend` - Do not prefer an OS + monotonic time source with elapsed time during suspend. * `--enable-dirty-schedulers` - Enable the **experimental** dirty schedulers functionality. Note that the dirty schedulers functionality is experimental, and **not supported**. This functionality **will** be subject to backward |