Mercury Bugs - mercury
View Issue Details
0000553mercuryFeature Requestpublic2022-03-23 20:072022-03-23 20:07
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000553: mmc --make and GNU make jobserver integration
DescriptionIt would be useful for mmc --make to be able to (optionally) use GNU make's jobserver protocol, so that the number of parallel jobs inside the Mercury compiler can be limited by the number of jobs a top-level make is invoked with.

Reference: <>
TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2022-03-23 20:07juliensfNew Issue