From 0e413e53e9d77191ae3fd9663e5a90e906711fa6 Mon Sep 17 00:00:00 2001
From: Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>
Date: Fri, 5 May 2006 14:05:21 +0000
Subject: [PATCH] - 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;