diff options
Diffstat (limited to 'boot/grub/grub.mk')
| -rw-r--r-- | boot/grub/grub.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/grub/grub.mk b/boot/grub/grub.mk index ae687d6b18..21f44629c0 100644 --- a/boot/grub/grub.mk +++ b/boot/grub/grub.mk @@ -9,7 +9,7 @@ GRUB_SOURCE = grub_$(GRUB_VERSION).orig.tar.gz GRUB_PATCH = grub_$(GRUB_VERSION)-68.diff.gz GRUB_SITE = http://snapshot.debian.org/archive/debian/20141023T043132Z/pool/main/g/grub -GRUB_LICENSE = GPLv2+ +GRUB_LICENSE = GPL-2.0+ GRUB_LICENSE_FILES = COPYING # Passing -O0 since the default -O2 passed by Buildroot generates |
