makeman: clarify scope of ignored option values
ClosedPublic
Actions

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

Tags

None

Referenced Files

	F168154603: D41683.id126759.diff
	Wed, Aug 26, 3:21 PM

	Unknown Object (File)
	Wed, Aug 26, 6:38 AM

	Unknown Object (File)
	Tue, Aug 25, 11:17 PM

	Unknown Object (File)
	Mon, Aug 24, 3:17 PM

	Unknown Object (File)
	Wed, Aug 12, 9:08 PM

	Unknown Object (File)
	Wed, Aug 12, 3:57 PM

	Unknown Object (File)
	Wed, Aug 12, 12:58 AM

	Unknown Object (File)
	Tue, Aug 11, 10:37 AM

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