This is currently a no-op but can matter for downstreams whose ${make}
includes additional settings.
Obtained from: CheriBSD
Sponsored by: DARPA
Differential D41777
makeman: Use ${make} instead of plain make to compute ${requireds} jhb on Sep 8 2023, 1:39 AM. Authored by Tags None Referenced Files
Details This is currently a no-op but can matter for downstreams whose ${make} Obtained from: CheriBSD
Diff Detail
|