Redo makefiles.

[pintos-anon] / src / Makefile.kernel

diff --git a/src/Makefile.kernel b/src/Makefile.kernel
new file mode 100644 (file)
index 0000000..9337203
--- /dev/null
+++ b/src/Makefile.kernel
@@ -0,0 +1,15 @@
+include Makefile.vars
+BUILD_SUBDIRS = $(addprefix build/, $(SUBDIRS))
+
+all: build build/Makefile $(BUILD_SUBDIRS)
+       $(MAKE) -C build
+
+$(BUILD_SUBDIRS):
+       mkdir $@
+build:
+       mkdir $@
+build/Makefile: ../Makefile.build
+       cp $< $@
+
+clean:
+       rm -rf build