diff options
Diffstat (limited to 'src/Makefile.kernel')
| -rw-r--r-- | src/Makefile.kernel | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/Makefile.kernel b/src/Makefile.kernel new file mode 100644 index 0000000..cf5c58a --- /dev/null +++ b/src/Makefile.kernel @@ -0,0 +1,20 @@ +# -*- makefile -*- + +all: + +include Make.vars + +DIRS = $(sort $(addprefix build/,$(KERNEL_SUBDIRS) $(TEST_SUBDIRS) lib/user)) + +all grade check recheck: $(DIRS) build/Makefile + cd build && $(MAKE) $@ +$(DIRS): + mkdir -p $@ +build/Makefile: ../Makefile.build + cp $< $@ + +build/%: $(DIRS) build/Makefile + cd build && $(MAKE) $* + +clean: + rm -rf build |