- ignore missing helptext for options which are not selectable.

diff --git a/scripts/checkhelp.awk b/scripts/checkhelp.awk
index 1a7e0ea8e56d3c91a95ba00325e305c8ee2ea9a6..85d0661a7ce8d689d35a5087e2737ef3ad3df89f 100755 (executable)
--- 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;