diff options
author | dzwdz | 2023-01-25 22:43:31 +0100 |
---|---|---|
committer | dzwdz | 2023-01-25 22:43:31 +0100 |
commit | 3ade679eb6306885a834aecfdb230a07a599acb8 (patch) | |
tree | 2b33c84252af7791703de8acd578d4ed0b04509f /Makefile | |
parent | 8c260381afc811082f17e77184790eb91ff016cf (diff) |
clean up the repo root
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -96,7 +96,7 @@ out/fs/boot/init: out/bootstrap out/initrd.tar @mkdir -p $(@D) @cat $^ > $@ -out/fs/boot/grub/grub.cfg: grub.cfg +out/fs/boot/grub/grub.cfg: src/kernel/arch/amd64/grub.cfg @mkdir -p $(@D) @cp $< $@ |