diff options
author | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2006-05-05 18:05:21 +0400 |
---|---|---|
committer | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2006-05-05 18:05:21 +0400 |
commit | 0e413e53e9d77191ae3fd9663e5a90e906711fa6 (patch) | |
tree | 76b049fd64279f119cfee34613119c6138ed682f | |
parent | 4f7953cc3c9da5b19ae9995c45a7c943f66f01c5 (diff) |
- ignore missing helptext for options which are not selectable.
-rwxr-xr-x | scripts/checkhelp.awk | 3 |
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; |