Browse Source

Update recommendation to Make 4.2

There are issues with -j in 4.1 and earlier.
Loïc Hoguin 6 years ago
parent
commit
badd5a5f52
1 changed files with 3 additions and 2 deletions
  1. 3 2
      doc/src/guide/installation.asciidoc

+ 3 - 2
doc/src/guide/installation.asciidoc

@@ -5,8 +5,9 @@
 
 
 Erlang.mk requires GNU Make to be installed. While it will
 Erlang.mk requires GNU Make to be installed. While it will
 currently work with GNU Make 3.81, support for this version
 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.
 Git and Erlang/OTP must also be installed.