Date: Thu, 16 May 2024 17:31:08 GMT From: Ed Maste <emaste@FreeBSD.org> To: src-committers@FreeBSD.org, dev-commits-src-all@FreeBSD.org, dev-commits-src-main@FreeBSD.org Subject: git: 65fd76b5f566 - main - makeman: extend duplicate option warning to OPT_ options Message-ID: <202405161731.44GHV8Y6063942@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by emaste: URL: https://cgit.FreeBSD.org/src/commit/?id=65fd76b5f566a21d4e017711e8d0678aab6fe59e commit 65fd76b5f566a21d4e017711e8d0678aab6fe59e Author: Ed Maste <emaste@FreeBSD.org> AuthorDate: 2024-05-13 19:05:39 +0000 Commit: Ed Maste <emaste@FreeBSD.org> CommitDate: 2024-05-16 17:30:37 +0000 makeman: extend duplicate option warning to OPT_ options In a local tree I accidentally had OPT_INIT_ALL defaulting to zero in userland and none in kernel. This resulted in the INIT_ALL text appearing twice in src.conf.5. Reviewed by: brooks Sponsored by: The FreeBSD Foundation Differential Revision: https://reviews.freebsd.org/D45184 --- tools/build/options/makeman | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tools/build/options/makeman b/tools/build/options/makeman index 30416b03b983..e0980d3be607 100755 --- a/tools/build/options/makeman +++ b/tools/build/options/makeman @@ -379,12 +379,18 @@ EOF The following options accept a single value from a list of valid values. .Bl -tag -width indent EOF + prev_opt= show_group_options | while read opt ; do if [ ! -f ${opt} ] ; then echo "no description found for ${opt}, skipping" >&2 continue fi + if [ $opt = "$prev_opt" ]; then + echo "ignoring duplicate option $opt" >&2 + continue + fi + prev_opt=$opt echo ".It Va ${opt}" cat ${opt}
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202405161731.44GHV8Y6063942>