diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,9 +1,13 @@ -all: grub +all: grub grub-dev grub: $(MAKE) -f grub-Makefile +grub-dev: + $(MAKE) -f grub-dev-Makefile + .PHONY: clean clean: $(MAKE) clean -f grub-Makefile + $(MAKE) clean -f grub-dev-Makefile |