diff options
| -rw-r--r-- | tools/build/options/makeman | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/build/options/makeman b/tools/build/options/makeman index 36f7555..f75a4ab 100644 --- a/tools/build/options/makeman +++ b/tools/build/options/makeman @@ -142,6 +142,7 @@ EOF sed -e's/\$\(FreeBSD: .*\) \$/from \1/' ${opt} else echo "no description found for ${opt}, skipping" >/dev/stderr + continue fi show settings -D${opt} |sort >_config2 comm -13 _config _config2 |grep -v "^${opt}$" >_deps |
