makeman: clarify scope of ignored option values
ClosedPublic
Actions

Authored by brooks on Aug 31 2023, 10:30 PM.

Tags

None

Referenced Files

	Unknown Object (File)
	Mon, Jul 27, 7:27 PM

	Unknown Object (File)
	Mon, Jul 27, 4:46 AM

	Unknown Object (File)
	Sun, Jul 26, 8:32 PM

	Unknown Object (File)
	Wed, Jul 22, 10:28 PM

	Unknown Object (File)
	Wed, Jul 22, 2:43 PM

	Unknown Object (File)
	Thu, Jul 2, 7:18 PM

	Unknown Object (File)
	Jun 23 2026, 6:41 PM

	Unknown Object (File)
	Jun 20 2026, 10:38 PM

View All Files

Subscribers

imp

Details

Reviewers

jrtc27
emaste
kevans
imp

Commits

rG89aed8837f0d: makeman: clarify scope of ignored option values

Summary

The values of WITH_ and WITHOUT_ options are ignored, but group options
are not.

Diff Detail

Repository

rG FreeBSD src repository

Lint

Lint Passed

Unit

No Test Coverage

Build Status

Buildable 53389
Build 50280: arc lint + arc unit

Event Timeline

brooks created this revision.Aug 31 2023, 10:30 PM

Herald added a subscriber: imp. · View Herald TranscriptAug 31 2023, 10:30 PM

brooks requested review of this revision.Aug 31 2023, 10:30 PM

Harbormaster completed remote builds in B53389: Diff 126759.Aug 31 2023, 10:30 PM

brooks added a child revision: D41681: makeman: add minimal support for group options.Aug 31 2023, 10:31 PM

emaste accepted this revision.Aug 31 2023, 11:02 PM

This revision is now accepted and ready to land.Aug 31 2023, 11:02 PM

imp accepted this revision.Aug 31 2023, 11:03 PM

Closed by commit rG89aed8837f0d: makeman: clarify scope of ignored option values (authored by brooks). · Explain WhySep 1 2023, 12:03 AM

This revision was automatically updated to reflect the committed changes.

brooks added a commit: rG89aed8837f0d: makeman: clarify scope of ignored option values.

Revision Contents
Changeset List

Path

Size

tools/

build/

options/

makeman

6 lines

Diff 126759

View Options

tools/build/options/makeman

makeman: clarify scope of ignored option valuesClosedPublicActions