projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix type of sector_idx in inode_write_at().
[pintos-anon]
/
src
/
examples
/
Makefile
diff --git
a/src/examples/Makefile
b/src/examples/Makefile
index a7bba67f446006568563243cb80a959445a4953c..e15f824f4aa2766ed9d0d5719958502e8ef69eed 100644
(file)
--- a/
src/examples/Makefile
+++ b/
src/examples/Makefile
@@
-24,4
+24,5
@@
lineup_SRC = lineup.c
matmult_SRC = matmult.c
recursor_SRC = recursor.c
+include $(SRCDIR)/Make.config
include $(SRCDIR)/Makefile.userprog