aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/scan-build/scan-build2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/scan-build/scan-build b/tools/scan-build/scan-build
index 9ba94d1474..8068d5c171 100755
--- a/tools/scan-build/scan-build
+++ b/tools/scan-build/scan-build
@@ -1053,7 +1053,7 @@ else {
print("\nAVAILABLE CHECKERS:\n\n");
my $skip = 0;
while(<FROM_CHILD>) {
- if (/core\.experimental/ or /debug\./ or /unix.experimental/ or /cocoa.experimental/) {
+ if (/experimental/) {
$skip = 1;
next;
}