diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2012-03-07 15:49:07 +0100 |
|---|---|---|
| committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2012-03-07 17:47:38 +0100 |
| commit | 533ec00689d5affb283ea1a07c978972441deeba (patch) | |
| tree | 3eda832e70224a2cc35b6fdf9316194074cd3cc9 /util | |
| parent | 51f6a206801aa6c05c2f8a6db12262a6c695e202 (diff) | |
lint: test that labels begin at start-of-line
Some attempt at enforcing style
Change-Id: Ibbfb86402ecc57e8db6c3857c8e0193085ed4fc2
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/771
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util')
| -rwxr-xr-x | util/lint/lint-004-style-labels | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/util/lint/lint-004-style-labels b/util/lint/lint-004-style-labels new file mode 100755 index 0000000000..31ad74e0e4 --- /dev/null +++ b/util/lint/lint-004-style-labels @@ -0,0 +1,22 @@ +#!/bin/sh +# This file is part of the coreboot project. +# +# Copyright (C) 2012 Patrick Georgi <patrick@georgi-clan.de> +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; version 2 of the License. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA +# +# 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:" |