From: Ben Pfaff Date: Sun, 9 Jan 2005 07:56:14 +0000 (+0000) Subject: Fix Make.base in same way as Makefile. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a8523360174b78e51bf25b93c01d546faac33d84;p=pintos-anon Fix Make.base in same way as Makefile. --- diff --git a/grading/userprog/Make.base b/grading/userprog/Make.base index d78787c..e0cad44 100644 --- a/grading/userprog/Make.base +++ b/grading/userprog/Make.base @@ -6,15 +6,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