projects / pintos-anon / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Redo makefiles.
[pintos-anon] / src / Makefile.kernel
1 include Makefile.vars
2 BUILD_SUBDIRS = $(addprefix build/, $(SUBDIRS))
3
4 all: build build/Makefile $(BUILD_SUBDIRS)
5         $(MAKE) -C build
6
7 $(BUILD_SUBDIRS):
8         mkdir $@
9 build:
10         mkdir $@
11 build/Makefile: ../Makefile.build
12         cp $< $@
13
14 clean:
15         rm -rf build
Pintos public repository