diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -1,5 +1,5 @@ -all: grub grub-dev +all: grub grub-dev multiboot grub: $(MAKE) -f grub-Makefile @@ -7,7 +7,15 @@ grub: grub-dev: $(MAKE) -f grub-dev-Makefile +multiboot: + $(MAKE) -f multiboot-Makefile + .PHONY: clean clean: $(MAKE) clean -f grub-Makefile $(MAKE) clean -f grub-dev-Makefile + $(MAKE) clean -f multiboot-Makefile + +.PHONY: dist-clean +dist-clean: clean + rm -rf tmp |