diff options
Diffstat (limited to 'script/build/grub/utils')
| -rwxr-xr-x | script/build/grub/utils | 22 | 
1 files changed, 3 insertions, 19 deletions
| diff --git a/script/build/grub/utils b/script/build/grub/utils index cb80d15d..5fb6a27c 100755 --- a/script/build/grub/utils +++ b/script/build/grub/utils @@ -1,23 +1,7 @@  #!/usr/bin/env sh - -#  helper script: builds GRUB2 source code -# -#	Copyright (C) 2014, 2015, 2020, 2023 Leah Rowe <info@minifree.org> -#	Copyright (C) 2015, 2016 Klemens Nanni <contact@autoboot.org> -# -#	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, either version 3 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. -# -#	You should have received a copy of the GNU General Public License -#	along with this program.  If not, see <http://www.gnu.org/licenses/>. -# +# SPDX-License-Identifier: GPL-3.0-or-later +# SPDX-FileCopyrightText: 2014, 2015, 2020, 2023 Leah Rowe <info@minifree.org> +# SPDX-FileCopyrightText: 2015, 2016 Klemens Nanni <contact@autoboot.org>  [ "x${DEBUG+set}" = 'xset' ] && set -v  set -u -e | 
