diff options
-rwxr-xr-x | tools/scan-build/scan-build | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/scan-build/scan-build b/tools/scan-build/scan-build index e2efa44bc1..47d701da90 100755 --- a/tools/scan-build/scan-build +++ b/tools/scan-build/scan-build @@ -1154,16 +1154,7 @@ 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? |