2024-07-16 01:50 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000553mercuryFeature Requestpublic2022-03-23 20:07
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
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: <https://www.gnu.org/software/make/manual/html_node/Job-Slots.html#Job-Slots>
TagsNo tags attached.
Attached Files


There are no notes attached to this issue.

-Issue History
Date Modified Username Field Change
2022-03-23 20:07 juliensf New Issue
+Issue History