diff options
| -rwxr-xr-x | util/lint/lint-stable-004-style-labels | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-stable-004-style-labels b/util/lint/lint-stable-004-style-labels index 31ad74e0e4..10b0408575 100755 --- a/util/lint/lint-stable-004-style-labels +++ b/util/lint/lint-stable-004-style-labels @@ -19,4 +19,4 @@ # DESCR: Check that C labels begin at start-of-line LC_ALL=C export LC_ALL -find src -name '*.[scS]' -exec grep '^[[:space:]][[:space:]]*[a-z][a-z]*:[[:space:]]*$' {} + |grep -v "[^a-z_]default:" +git diff --name-status |grep -v "^D" |cut -c3- |grep "^src/.*\.[csS]" | xargs grep -Hn '^[[:space:]][[:space:]]*[a-z][a-z]*:[[:space:]]*$' |grep -v "[^a-z_]default:" |