diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/krazy2tasks.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/krazy2tasks.pl b/scripts/krazy2tasks.pl index 0f42efc058..9b772b85c4 100755 --- a/scripts/krazy2tasks.pl +++ b/scripts/krazy2tasks.pl @@ -5,7 +5,7 @@ use strict; my $file = shift; die "No .tasks file given to save data into." unless ($file); -open(PIPE, "krazy2all . --export textedit |") or +open(PIPE, "find . -name \*.cpp -o -name \*.h | grep -v /tests/ | grep -v /3rdparty/ | xargs krazy2 --check-sets qt4 --exclude captruefalse --export textedit |") or die "Could not start krazy2all, please make sure it is in your PATH."; open(FILE, ">$file") or die "Failed to open \"$file\" for writing."; @@ -18,6 +18,7 @@ while (<PIPE>) { my $lineno = $2; my $description = $3; next if $file =~ /\/3rdparty\//; + next if $file =~ /\/tests\//; print FILE "$file\t$lineno\tWARN\tKrazy: $description\n"; } |