aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/scan-build/scan-build9
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?