aboutsummaryrefslogtreecommitdiffstats
path: root/HOWTO/INSTALL.md
diff options
context:
space:
mode:
authorRickard Green <[email protected]>2018-08-21 17:51:52 +0200
committerRickard Green <[email protected]>2018-08-21 17:51:52 +0200
commit1b9aae1a5dd812933543615c3c25bd3321ec4061 (patch)
treee952aa3178dc721300d6d1dc2a7db563c24b7f68 /HOWTO/INSTALL.md
parent9672921fb8afd82cbb449b3a57f2c2f0b4b0e975 (diff)
parentd4b456742b8bdab6222008ffd20e3d086b646e3f (diff)
downloadotp-1b9aae1a5dd812933543615c3c25bd3321ec4061.tar.gz
otp-1b9aae1a5dd812933543615c3c25bd3321ec4061.tar.bz2
otp-1b9aae1a5dd812933543615c3c25bd3321ec4061.zip
Merge branch 'rickard/parallel-configure/OTP-14625'
* rickard/parallel-configure/OTP-14625: Parallel configure Remove undocumented and unused lazy configure
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 456dafeba5..674454bc8e 100644
--- a/HOWTO/INSTALL.md
+++ b/HOWTO/INSTALL.md
@@ -338,6 +338,8 @@ use the `--prefix` argument like this: `./configure --prefix=<Dir>`.
Some of the available `configure` options are:
* `--prefix=PATH` - Specify installation prefix.
+* `--disable-parallel-configure` - Disable parallel execution of
+ `configure` scripts (parallel execution is enabled by default)
* `--{enable,disable}-kernel-poll` - Kernel poll support (enabled by
default if possible)
* `--{enable,disable}-hipe` - HiPE support (enabled by default on supported