2022-08-12 07:37 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000553mercuryFeature Requestpublic2022-03-23 20:07
Reporterjuliensf 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusnewResolutionopen 
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

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

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