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
 
-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)