diff options
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 |