Changes in boot/Makefile.grub [9d58539:c573e0f] in mainline


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • boot/Makefile.grub

    r9d58539 rc573e0f  
    6060build_dist: clean
    6161        mkdir -p $(BOOT)
    62         cp -r $(GRUB) $(BOOT)/grub
     62        cp -r -L $(GRUB) $(BOOT)/grub
    6363ifeq ($(GRUB_ARCH),efi)
    6464        gunzip $(IMAGE)
Note: See TracChangeset for help on using the changeset viewer.