Page MenuHomeFreeBSD

makeman: Use ${make} instead of plain make to compute ${requireds}
ClosedPublic

Authored by jhb on Sep 8 2023, 1:39 AM.
Tags
None
Referenced Files
F131785681: D41777.diff
Sat, Oct 11, 3:49 AM
Unknown Object (File)
Sun, Sep 14, 8:17 PM
Unknown Object (File)
Sep 9 2025, 6:54 PM
Unknown Object (File)
Sep 3 2025, 3:07 PM
Unknown Object (File)
Sep 3 2025, 9:34 AM
Unknown Object (File)
Aug 30 2025, 10:12 PM
Unknown Object (File)
Aug 28 2025, 10:38 AM
Unknown Object (File)
Aug 28 2025, 1:25 AM
Subscribers

Details

Summary

This is currently a no-op but can matter for downstreams whose ${make}
includes additional settings.

Obtained from: CheriBSD
Sponsored by: DARPA

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

jhb requested review of this revision.Sep 8 2023, 1:39 AM
emaste added a subscriber: kevans.

Seems fine

This revision is now accepted and ready to land.Sep 8 2023, 1:56 AM
imp added inline comments.
tools/build/options/makeman
132

So it already was ${make} here.. Amy place else need it while you are here?

jhb marked an inline comment as done.Sep 8 2023, 6:56 PM
jhb added inline comments.
tools/build/options/makeman
132

The rest of the places all use ${make} already.

This revision was automatically updated to reflect the committed changes.
jhb marked an inline comment as done.