aboutsummaryrefslogtreecommitdiffstats
path: root/HOWTO/INSTALL.md
diff options
context:
space:
mode:
authorRickard Green <[email protected]>2015-09-09 17:41:41 +0200
committerRickard Green <[email protected]>2015-09-09 18:11:19 +0200
commite4dedc6cffb5025161d9a6295523b215e5a165c7 (patch)
tree4b99cbcd48a069514e39e20efb867dcc39c0eff7 /HOWTO/INSTALL.md
parent6b4c2dbd1b4a30f421611987acec6315c62ac9d5 (diff)
downloadotp-e4dedc6cffb5025161d9a6295523b215e5a165c7.tar.gz
otp-e4dedc6cffb5025161d9a6295523b215e5a165c7.tar.bz2
otp-e4dedc6cffb5025161d9a6295523b215e5a165c7.zip
Add configure switch --disable-saved-compile-time
Diffstat (limited to 'HOWTO/INSTALL.md')
-rw-r--r--HOWTO/INSTALL.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/HOWTO/INSTALL.md b/HOWTO/INSTALL.md
index 837e6cbd76..14bb265829 100644
--- a/HOWTO/INSTALL.md
+++ b/HOWTO/INSTALL.md
@@ -406,6 +406,8 @@ Some of the available `configure` options are:
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.
+* `--disable-saved-compile-time` - Disable saving of compile date and time
+ in the emulator binary.
* `--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