diff options
| author | Louie S <louie@example.com> | 2023-09-14 16:28:05 -0400 |
|---|---|---|
| committer | Louie S <louie@example.com> | 2023-09-14 16:28:05 -0400 |
| commit | a1c45a5d707095f503ff94981d91bfceb26f14c4 (patch) | |
| tree | 82104b4211742936141e402aa937101f31a762c7 /Makefile | |
| parent | bd511f431b75f21e8290aa2527d6222467e56b20 (diff) | |
Add grub-dev target
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 |