X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Fuserprog%2FMakefile;h=2b9669450ea2d0db98c1ed65659771fd79139032;hb=6f1dc3456a814d2350b5b4f514a71ec30504a345;hp=0b1b5ff0adb5b2f2a4d4d264eff7c614bceb2023;hpb=7f022bbe1d53e8416a05f0f9e5b4cdd9b19f7806;p=pintos-anon

diff --git a/grading/userprog/Makefile b/grading/userprog/Makefile
index 0b1b5ff..2b96694 100644
--- a/grading/userprog/Makefile
+++ b/grading/userprog/Makefile
@@ -76,15 +76,15 @@ child_arg_SRC = child-arg.c
 child_bad_SRC = child-bad.c
 child_close_SRC = child-close.c
 
+DISKS = $(patsubst %,%.dsk,$(TESTS)) null.dsk
+
+disks: $(DISKS)
+
 null.o: null.S
 null: null.o
 	$(CC) $(LDFLAGS) $^ $(LDLIBS) -o $@
 null.dsk: null	
 
-DISKS = $(patsubst %,%.dsk,$(TESTS)) null.dsk
-
-disks: $(DISKS)
-
 exec-once.dsk exec-multiple.dsk join-simple.dsk join-twice.dsk: child-simple
 exec-arg.dsk: child-arg
 join-killed.dsk: child-bad