projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Print int with %d, not %zu.
[pintos-anon]
/
grading
/
userprog
/
Makefile
diff --git
a/grading/userprog/Makefile
b/grading/userprog/Makefile
index 1eb67b3142af29a46f1591b25f1eea24f47bbc5e..0b1b5ff0adb5b2f2a4d4d264eff7c614bceb2023 100644
(file)
--- a/
grading/userprog/Makefile
+++ b/
grading/userprog/Makefile
@@
-76,7
+76,12
@@
child_arg_SRC = child-arg.c
child_bad_SRC = child-bad.c
child_close_SRC = child-close.c
child_bad_SRC = child-bad.c
child_close_SRC = child-close.c
-DISKS = $(patsubst %,%.dsk,$(TESTS))
+null.o: null.S
+null: null.o
+ $(CC) $(LDFLAGS) $^ $(LDLIBS) -o $@
+null.dsk: null
+
+DISKS = $(patsubst %,%.dsk,$(TESTS)) null.dsk
disks: $(DISKS)
disks: $(DISKS)