diff options
| -rwxr-xr-x | tools/checkpatch.pl | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/checkpatch.pl b/tools/checkpatch.pl index 3b861e4f87..22354c1e88 100755 --- a/tools/checkpatch.pl +++ b/tools/checkpatch.pl @@ -4519,17 +4519,6 @@ sub process { } } -#goto labels aren't indented, allow a single space however - if ($line=~/^.\s+[A-Za-z\d_]+:(?![0-9]+)/ and - !($line=~/^. [A-Za-z\d_]+:/) and !($line=~/^.\s+default:/)) { - if (WARN("INDENTED_LABEL", - "labels should not be indented\n" . $herecurr) && - $fix) { - $fixed[$fixlinenr] =~ - s/^(.)\s+/$1/; - } - } - # return is not a function if (defined($stat) && $stat =~ /^.\s*return(\s*)\(/s) { my $spacing = $1; |