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