mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-13 21:04:00 +00:00
Correct the message about finetuning installation to show the
Branches: main, 11.07 configure.in: Correct the message about finetuning installation to show the correct way to invoke parallel make.
This commit is contained in:
@@ -5505,7 +5505,7 @@ fi
|
||||
MERCURY_MSG("You can make the install faster by installing fewer grades")
|
||||
MERCURY_MSG("as shown by the fine-tuning section of the INSTALL file or by")
|
||||
MERCURY_MSG("compiling the files of each grade in parallel which you can do")
|
||||
MERCURY_MSG("via a command such as make install -j2.")
|
||||
MERCURY_MSG("via a command such as make PARALLEL=-j2 install.")
|
||||
|
||||
case "$remake_dependencies.$reconfiguring" in
|
||||
"true.no")
|
||||
|
||||
Reference in New Issue
Block a user