aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authorTobias Hunger <tobias.hunger@nokia.com>2010-10-22 19:40:41 +0200
committerTobias Hunger <tobias.hunger@nokia.com>2010-11-03 12:18:08 +0100
commitf9035b1e9e60930ee728aba26200f7f0288c67ab (patch)
treea0bd9143a3e9e373cfd47ad727bf2595ea772cd9 /scripts
parent7cc6b469aa82ac1b6ae4a1f06d3f82eed76ca802 (diff)
Add script to convert krazy output into a tasks file
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/krazy2tasks.pl24
1 files changed, 24 insertions, 0 deletions
diff --git a/scripts/krazy2tasks.pl b/scripts/krazy2tasks.pl
new file mode 100755
index 0000000000..0f42efc058
--- /dev/null
+++ b/scripts/krazy2tasks.pl
@@ -0,0 +1,24 @@
+#!/usr/bin/perl -w
+
+use strict;
+
+my $file = shift;
+die "No .tasks file given to save data into." unless ($file);
+
+open(PIPE, "krazy2all . --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.";
+
+while (<PIPE>) {
+ my $line = $_;
+ chomp $line;
+ next unless $line =~ /^(.*):(\d+):(.*)$/;
+
+ my $file = $1;
+ my $lineno = $2;
+ my $description = $3;
+ next if $file =~ /\/3rdparty\//;
+
+ print FILE "$file\t$lineno\tWARN\tKrazy: $description\n";
+}
+