projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Clean up temp files on signal.
[pintos-anon]
/
src
/
Makefile.userprog
diff --git
a/src/Makefile.userprog
b/src/Makefile.userprog
index 72e35ce7ee92a285e4d1b6562318247bda427754..870aae4b95f56bae532e8ab075c2e503d4ce4b71 100644
(file)
--- a/
src/Makefile.userprog
+++ b/
src/Makefile.userprog
@@
-1,7
+1,5
@@
# -*- makefile -*-
-include $(SRCDIR)/Make.config
-
$(PROGS): CPPFLAGS += -I$(SRCDIR)/lib/user -I.
# Linker flags.