Skip to content

Commit be1f10c

Browse files
committed
Fix documentation about jobservers
Issue: eng/gpr/gpr-issues#432 (cherry picked from commit e32c729) Merge request eng/gpr/gpr!423 from branch 'cherry-pick-e32c7299' into '25.0'
2 parents 3b609a2 + 5c8508a commit be1f10c

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

doc/gprbuild_ug/building_with_gprbuild.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -738,7 +738,7 @@ package Builder of the main project (attribute Switches):
738738
in order to be instructed when it is allowed to spawn another simultaneous
739739
compilation jobs.
740740

741-
If :samp:`-j{num}` is set alongside :samp:`--gnu-make-jobserver`
741+
If :samp:`-j{num}` is set alongside :samp:`--autodetect-jobserver`
742742
the former will be ignored.
743743

744744
* :samp:`--no-indirect-imports`
@@ -1177,7 +1177,7 @@ possibly different languages are spawned concurrently.
11771177

11781178
Furthermore, GPRbuild is GNU make jobserver compatible when using the switch
11791179
:samp:`--autodetect-jobserver`. This means if GPRbuild is embedded in a GNU make
1180-
recursive invocation and :samp:`--gnu-make-jobserver` is set, then GPRbuild
1180+
recursive invocation and :samp:`--autodetect-jobserver` is set, then GPRbuild
11811181
will only spawn an additionnal compilation process if GNU make's jobserver
11821182
allows it. This is particularly useful to ensure that GPRbuild comply to the
11831183
ressource management of GNU make.

0 commit comments

Comments
 (0)