diff options
| author | Rickard Green <rickard@erlang.org> | 2018-06-20 17:43:56 +0200 |
|---|---|---|
| committer | Rickard Green <rickard@erlang.org> | 2018-08-21 17:24:38 +0200 |
| commit | d4b456742b8bdab6222008ffd20e3d086b646e3f (patch) | |
| tree | 8651371448b705351cff2e44dfe02f6bf2a7b04d /HOWTO | |
| parent | 5eb18343591f69998099bd424362faa9d5a6a2e1 (diff) | |
| download | erlang-d4b456742b8bdab6222008ffd20e3d086b646e3f.tar.gz | |
Parallel configure
Diffstat (limited to 'HOWTO')
| -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 2597794496..bafea0350d 100644 --- a/HOWTO/INSTALL.md +++ b/HOWTO/INSTALL.md @@ -340,6 +340,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 |