projects
/
pintos-anon
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Clarifications.
[pintos-anon]
/
src
/
Makefile.kernel
1
# -*- makefile -*-
2
3
all:
4
5
include Make.vars
6
7
DIRS = $(sort $(addprefix build/,$(KERNEL_SUBDIRS) $(TEST_SUBDIRS) lib/user))
8
9
all grade check: $(DIRS) build/Makefile
10
cd build && $(MAKE) $@
11
$(DIRS):
12
mkdir -p $@
13
build/Makefile: ../Makefile.build
14
cp $< $@
15
16
build/%: $(DIRS) build/Makefile
17
cd build && $(MAKE) $*
18
19
clean:
20
rm -rf build