diff options
| author | Simon Dawson <spdawson@gmail.com> | 2012-08-18 10:25:38 +0100 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2012-08-21 12:09:20 +0200 |
| commit | 6643351d0b0feac205341ab9b121c0c74c70c125 (patch) | |
| tree | 50ea01bf1e6f505a916e98774aaf413362e1423e | |
| parent | de2ac17e461ba233167985499846a4ae1e9961b7 (diff) | |
grub: add license information
Signed-off-by: Simon Dawson <spdawson@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
| -rw-r--r-- | boot/grub/grub.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/boot/grub/grub.mk b/boot/grub/grub.mk index e8d66f175..4a094bc47 100644 --- a/boot/grub/grub.mk +++ b/boot/grub/grub.mk @@ -9,6 +9,9 @@ GRUB_SOURCE = grub_$(GRUB_VERSION).orig.tar.gz GRUB_PATCH = grub_$(GRUB_VERSION)-35.diff.gz GRUB_SITE = http://snapshot.debian.org/archive/debian/20080329T000000Z/pool/main/g/grub/ +GRUB_LICENSE = GPLv2+ +GRUB_LICENSE_FILES = COPYING + GRUB_CFLAGS=-DSUPPORT_LOOPDEV ifeq ($(BR2_LARGEFILE),) GRUB_CFLAGS+=-U_FILE_OFFSET_BITS |