diff options
Diffstat (limited to 'target/tools/grub/Makefile')
| -rw-r--r-- | target/tools/grub/Makefile | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/target/tools/grub/Makefile b/target/tools/grub/Makefile deleted file mode 100644 index 58a3b822c..000000000 --- a/target/tools/grub/Makefile +++ /dev/null @@ -1,24 +0,0 @@ -# This file is part of the OpenADK project. OpenADK is copyrighted -# material, please see the LICENCE file in the top-level directory. - -include $(TOPDIR)/rules.mk - -PKG_NAME:= grub -PKG_VERSION:= 1.98 -PKG_RELEASE:= 1 -PKG_MD5SUM:= c0bcf60e524739bb64e3a2d4e3732a59 -PKG_SITES:= ftp://alpha.gnu.org/gnu/grub/ - -include ../rules.mk - -$(WRKBUILD)/.compiled: ${WRKDIST}/.prepared - cd $(WRKBUILD) && ./configure --prefix=$(TOPDIR)/bin/tools --disable-nls --disable-efiemu --with-platform=pc - $(MAKE) -C $(WRKBUILD) - touch $@ - -$(TOPDIR)/bin/tools/bin/grub-install: $(WRKBUILD)/.compiled - $(MAKE) -C $(WRKBUILD) install - -install: $(TOPDIR)/bin/tools/bin/grub-install - -include $(TOPDIR)/mk/tools.mk |