diff options
author | Marvin Borner | 2020-09-15 22:30:45 +0200 |
---|---|---|
committer | Marvin Borner | 2020-09-15 22:30:45 +0200 |
commit | 857c228909603d1a27a40f2714f8b9076fabba6e (patch) | |
tree | 19fe7eb4f41975de4a161d4ef55fcd4fba4fbec6 /Makefile | |
parent | 1a99700287749211aec38cb58ea2664585154794 (diff) |
Keymaps n stuff
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -11,6 +11,8 @@ compile: @echo "Compiled libk" @$(MAKE) --no-print-directory -C libgui/ @echo "Compiled libgui" + @$(MAKE) --no-print-directory -C libtxt/ + @echo "Compiled libtxt" @$(MAKE) --no-print-directory -C kernel/ @echo "Compiled kernel" @$(MAKE) --no-print-directory -C boot/ |