X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2FMake.base;h=d78787c2e8e185b7da2a283e4450f31768ca120f;hb=af584a2aaa0ed870dc76df97097dbee32aeac488;hp=77c580d13a107bab584a21400a1ce2709f12a920;hpb=c29889dc04ea695c70c53be8184fdf8703afa00c;p=pintos-anon

diff --git a/grading/userprog/Make.base b/grading/userprog/Make.base
index 77c580d..d78787c 100644
--- a/grading/userprog/Make.base
+++ b/grading/userprog/Make.base
@@ -6,7 +6,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)