Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build: move HAVE_SANDBOX_CHECK out of MANFLAGS
It is not used in the man pages. This amends commit 108327c ("feature: build: add --disable-sandbox-check configure flag", 2024-12-27) / PR #6592.
- Loading branch information
5c6fa6a
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Oh sorry, I wasn't aware that "MANFLAGS" was regarding "man pages" and I didn't notice the "Misc flags" above it.
5c6fa6a
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do you think it would make sense to move it as a separate flag in
PROG_CFLAGS
, like howHAVE_GCOV
acts?