projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Work on userprog tests.
[pintos-anon]
/
src
/
Makefile.userprog
diff --git
a/src/Makefile.userprog
b/src/Makefile.userprog
index e28a408a3bc1a5f03ddca7476c1c9fdfef1a48a7..26d622d92d35848af03e1363e68e1fd79506f979 100644
(file)
--- a/
src/Makefile.userprog
+++ b/
src/Makefile.userprog
@@
-1,3
+1,5
@@
+# -*- makefile -*-
+
include $(SRCDIR)/Make.config
SHELL = /bin/sh
@@
-49,7
+51,7
@@
libc.a: $(LIB_OBJ)
ar r $@ $^
ranlib $@
-clean:
+clean:
:
rm -f $(PROGS) $(PROGS_OBJ) $(PROGS_DEP)
rm -f $(LIB_DEP) $(LIB_OBJ) lib/user/entry.[do] libc.a