diff options
| author | Rickard Green <[email protected]> | 2015-07-07 15:58:43 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2015-07-07 22:36:39 +0200 |
| commit | f7da0720b17556a9e3df108463643ba10ab1b3a0 (patch) | |
| tree | a00e78bfd2bdfa15a0beb9fa197c395d1f418942 /HOWTO/INSTALL.md | |
| parent | 1c14bf099be15790ccbe56f464e81a9557476b3f (diff) | |
| download | otp-f7da0720b17556a9e3df108463643ba10ab1b3a0.tar.gz otp-f7da0720b17556a9e3df108463643ba10ab1b3a0.tar.bz2 otp-f7da0720b17556a9e3df108463643ba10ab1b3a0.zip | |
Add the --enable-gettimeofday-as-os-system-time configure switch
Forces usage of gettimeofday() for OS system time
Diffstat (limited to 'HOWTO/INSTALL.md')
| -rw-r--r-- | HOWTO/INSTALL.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/HOWTO/INSTALL.md b/HOWTO/INSTALL.md index f8900c501b..4c89370691 100644 --- a/HOWTO/INSTALL.md +++ b/HOWTO/INSTALL.md @@ -400,6 +400,8 @@ 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-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 |