diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/gcc2tasks.pl | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scripts/gcc2tasks.pl b/scripts/gcc2tasks.pl index 448a231c6a..1a6dbc546d 100755 --- a/scripts/gcc2tasks.pl +++ b/scripts/gcc2tasks.pl @@ -41,11 +41,12 @@ while (my $line = <STDIN> ) { chomp($line); # --- extract file name based matching: # file.cpp:214:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] - if ($line =~ /^([^:]+):(\d+):\d*:? warning: (.*)$/) { + if ($line =~ /^([^:]+):(\d+):\d*:? (warning|error): (.*)$/) { my $fileName = $1; my $lineNumber = $2; - my $text = $3; + my $type = $3 eq 'warning' ? 'warn' : 'err'; + my $text = $4; $fileName =~ s|\\|/|g; - print $fileName, "\t", $lineNumber, "\twarn\t", $text,"\n"; + print $fileName, "\t", $lineNumber, "\t", $type, "\t", $text,"\n"; } } |