diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2012-03-07 15:55:47 +0100 |
|---|---|---|
| committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2012-03-07 17:48:03 +0100 |
| commit | c5fc7db3559e080858461b724251f87be6faa2cd (patch) | |
| tree | f33c6458066eb7ad68906df0cb9ebba15e986eb7 /util/lint | |
| parent | 533ec00689d5affb283ea1a07c978972441deeba (diff) | |
Move C labels to start-of-line
Also mark the corresponding lint test stable.
Change-Id: Ib7c9ed88c5254bf56e68c01cdbd5ab91cd7bfc2f
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/772
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/lint')
| -rwxr-xr-x | util/lint/lint-stable-004-style-labels (renamed from util/lint/lint-004-style-labels) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/util/lint/lint-004-style-labels b/util/lint/lint-stable-004-style-labels index 31ad74e0e4..31ad74e0e4 100755 --- a/util/lint/lint-004-style-labels +++ b/util/lint/lint-stable-004-style-labels |