diff options
-rwxr-xr-x | tools/scan-build/scan-build | 2 |
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; } |