From a8523360174b78e51bf25b93c01d546faac33d84 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 9 Jan 2005 07:56:14 +0000
Subject: [PATCH] Fix Make.base in same way as Makefile.

---
 grading/userprog/Make.base | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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