From 0e413e53e9d77191ae3fd9663e5a90e906711fa6 Mon Sep 17 00:00:00 2001 From: Bernhard Reutner-Fischer Date: Fri, 5 May 2006 14:05:21 +0000 Subject: - ignore missing helptext for options which are not selectable. --- scripts/checkhelp.awk | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/checkhelp.awk b/scripts/checkhelp.awk index 1a7e0ea8e..85d0661a7 100755 --- a/scripts/checkhelp.awk +++ b/scripts/checkhelp.awk @@ -23,6 +23,9 @@ /^[[:space:]]*help[[:space:]]*$/ { help[pos] = 1; } +/^[[:space:]]*bool[[:space:]]*$/ { + help[pos] = 1; # ignore options which are not selectable +} BEGIN { pos = -1; is_choice = 0; -- cgit v1.2.3