summaryrefslogtreecommitdiffhomepage
path: root/scripts
diff options
context:
space:
mode:
authorBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2006-05-05 14:05:21 +0000
committerBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2006-05-05 14:05:21 +0000
commit0e413e53e9d77191ae3fd9663e5a90e906711fa6 (patch)
tree76b049fd64279f119cfee34613119c6138ed682f /scripts
parent4f7953cc3c9da5b19ae9995c45a7c943f66f01c5 (diff)
- ignore missing helptext for options which are not selectable.
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/checkhelp.awk3
1 files changed, 3 insertions, 0 deletions
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;