Fix Make.base in same way as Makefile.

[pintos-anon] / grading / userprog / Make.base

diff --git a/grading/userprog/Make.base b/grading/userprog/Make.base
index 77c580d13a107bab584a21400a1ce2709f12a920..e0cad442f1f754fa4759f1343da3a0d06d84e9e1 100644 (file)
--- a/grading/userprog/Make.base
+++ b/grading/userprog/Make.base
@@ -6,10 +6,15 @@ child_arg_SRC = child-arg.c
 child_bad_SRC = child-bad.c
 child_close_SRC = child-close.c
 
-DISKS = $(patsubst %,%.dsk,$(TESTS))
+DISKS = $(patsubst %,%.dsk,$(TESTS)) null.dsk
 
 disks: $(DISKS)
 
+null.o: null.S
+null: null.o
+       $(CC) $(LDFLAGS) $^ $(LDLIBS) -o $@
+null.dsk: null 
+
 exec-once.dsk exec-multiple.dsk join-simple.dsk join-twice.dsk: child-simple
 exec-arg.dsk: child-arg
 join-killed.dsk: child-bad