diff options
| -rwxr-xr-x | tools/scan-build/scan-build | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/scan-build/scan-build b/tools/scan-build/scan-build index 47d701da90..e2efa44bc1 100755 --- a/tools/scan-build/scan-build +++ b/tools/scan-build/scan-build @@ -1154,7 +1154,16 @@ if (!$foundCheckers) { } else { print("\nAVAILABLE CHECKERS:\n\n"); + my $skip = 0; while(<FROM_CHILD>) { + if (/experimental/) { + $skip = 1; + next; + } + if ($skip) { + next if (!/^\s\s[^\s]/); + $skip = 0; + } s/^\s\s//; if (/^([^\s]+)/) { # Is the checker enabled? |