diff options
author | Loïc Hoguin <[email protected]> | 2019-07-01 11:37:12 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2019-07-01 11:37:12 +0200 |
commit | 66ad59b16b9eaa0152e05e308111a79cfa286c83 (patch) | |
tree | 9d2f8d239b8e53f94a955e8314dcdcde9f6b0220 /doc/src | |
parent | 36bdfef6b56c8cabd30dacf0dbf307f7f7b2beac (diff) | |
download | erlang.mk-badd5a5f522fca8970089d56274df318c2fae862.tar.gz erlang.mk-badd5a5f522fca8970089d56274df318c2fae862.tar.bz2 erlang.mk-badd5a5f522fca8970089d56274df318c2fae862.zip |
Update recommendation to Make 4.22019.07.01
There are issues with -j in 4.1 and earlier.
Diffstat (limited to 'doc/src')
-rw-r--r-- | doc/src/guide/installation.asciidoc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/src/guide/installation.asciidoc b/doc/src/guide/installation.asciidoc index 254b461..0c21fb0 100644 --- a/doc/src/guide/installation.asciidoc +++ b/doc/src/guide/installation.asciidoc @@ -5,8 +5,9 @@ Erlang.mk requires GNU Make to be installed. While it will currently work with GNU Make 3.81, support for this version -is deprecated and will be removed in 2017. We recommend -GNU Make 4.1 or later. +is deprecated and will be removed in the future. We recommend +GNU Make 4.2 or later (especially if you want to benefit +from parallel builds via the `-j` flag). Git and Erlang/OTP must also be installed. |