Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21


all: grub grub-dev multiboot

grub:
	$(MAKE) -f grub-Makefile

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