diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2020-05-10 20:09:31 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-05-11 19:38:40 +0000 |
| commit | 55189c9d33568ab26ee63e8f7474364a48423ec3 (patch) | |
| tree | 2c3b9786b0687184db300b73b43d22a16ce0f0da /util/lint/lint-stable-005-board-status | |
| parent | 8e40275dab403846868d6238ea201ca3080441c9 (diff) | |
| download | coreboot-55189c9d33568ab26ee63e8f7474364a48423ec3.tar.xz | |
util: Use SPDX headers
Change-Id: I2858fdf74e782f425d56653491cdebe83c185d19
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/41208
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
Diffstat (limited to 'util/lint/lint-stable-005-board-status')
| -rwxr-xr-x | util/lint/lint-stable-005-board-status | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/util/lint/lint-stable-005-board-status b/util/lint/lint-stable-005-board-status index d364d71ded..d87f8a41e9 100755 --- a/util/lint/lint-stable-005-board-status +++ b/util/lint/lint-stable-005-board-status @@ -1,14 +1,5 @@ #!/bin/sh -# -# 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, or (at your option) -# any later version. -# -# 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. +# SPDX-License-Identifier: GPL-2.0-or-later # # DESCR: Check that every board has a meaningful board_info.txt |