From f7da0720b17556a9e3df108463643ba10ab1b3a0 Mon Sep 17 00:00:00 2001
From: Rickard Green <rickard@erlang.org>
Date: Tue, 7 Jul 2015 15:58:43 +0200
Subject: Add the --enable-gettimeofday-as-os-system-time configure switch

Forces usage of gettimeofday() for OS system time
---
 HOWTO/INSTALL.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'HOWTO')

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
-- 
cgit v1.2.3