diff options
author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2010-03-14 18:22:00 +0100 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2010-06-12 13:38:42 +0200 |
commit | 5aa5ccb9e459fff198cc8aacbe781e5c9f0fff8e (patch) | |
tree | e860b09b8ac6b4288399073b4f44a725232e4e05 /boot/grub | |
parent | 55395bc24e16e5e31ae373aed3a63c92b87be9d4 (diff) |
grub: remove GRUB_SUPPORTED_ARCH
grub can already only be selected for x86 and x86_64. No need to check
again for this in grub.mk.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'boot/grub')
-rw-r--r-- | boot/grub/grub.mk | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/boot/grub/grub.mk b/boot/grub/grub.mk index 80f9b6dee..96b082dcf 100644 --- a/boot/grub/grub.mk +++ b/boot/grub/grub.mk @@ -1,20 +1,3 @@ -GRUB_SUPPORTED_ARCH=n -ifeq ($(ARCH),i386) -GRUB_SUPPORTED_ARCH=y -endif -ifeq ($(ARCH),i486) -GRUB_SUPPORTED_ARCH=y -endif -ifeq ($(ARCH),i586) -GRUB_SUPPORTED_ARCH=y -endif -ifeq ($(ARCH),i686) -GRUB_SUPPORTED_ARCH=y -endif -ifeq ($(ARCH),x86_64) -GRUB_SUPPORTED_ARCH=y -endif -ifeq ($(GRUB_SUPPORTED_ARCH),y) ############################################################# # # grub @@ -125,8 +108,6 @@ grub-clean: grub-dirclean: rm -rf $(GRUB_DIR) -endif - ############################################################# # # Toplevel Makefile options |