- ignore missing helptext for options which are not selectable.
diff --git a/scripts/checkhelp.awk b/scripts/checkhelp.awk
index 1a7e0ea..85d0661 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;