mirror of
https://github.com/freebsd/freebsd-src
synced 2024-07-23 19:28:36 +00:00
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
This commit is contained in:
parent
f38117359a
commit
65fd76b5f5
|
@ -379,12 +379,18 @@ EOF
|
||||||
The following options accept a single value from a list of valid values.
|
The following options accept a single value from a list of valid values.
|
||||||
.Bl -tag -width indent
|
.Bl -tag -width indent
|
||||||
EOF
|
EOF
|
||||||
|
prev_opt=
|
||||||
show_group_options |
|
show_group_options |
|
||||||
while read opt ; do
|
while read opt ; do
|
||||||
if [ ! -f ${opt} ] ; then
|
if [ ! -f ${opt} ] ; then
|
||||||
echo "no description found for ${opt}, skipping" >&2
|
echo "no description found for ${opt}, skipping" >&2
|
||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
if [ $opt = "$prev_opt" ]; then
|
||||||
|
echo "ignoring duplicate option $opt" >&2
|
||||||
|
continue
|
||||||
|
fi
|
||||||
|
prev_opt=$opt
|
||||||
|
|
||||||
echo ".It Va ${opt}"
|
echo ".It Va ${opt}"
|
||||||
cat ${opt}
|
cat ${opt}
|
||||||
|
|
Loading…
Reference in a new issue