From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 9 Jan 2005 01:07:39 +0000 (+0000)
Subject: Add `null' to .cvsignore, via mkmf.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=beba0f33137daa8a51838a53bbfcacff5dc4caff;p=pintos-anon

Add `null' to .cvsignore, via mkmf.
---

diff --git a/grading/userprog/.cvsignore b/grading/userprog/.cvsignore
index 422f695..b276a49 100644
--- a/grading/userprog/.cvsignore
+++ b/grading/userprog/.cvsignore
@@ -8,6 +8,7 @@ child-arg
 child-bad
 child-close
 child-simple
+null
 args-argc
 args-argv0
 args-argvn
diff --git a/grading/userprog/Makefile b/grading/userprog/Makefile
index 2b96694..0b1b5ff 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
diff --git a/grading/userprog/mkmf b/grading/userprog/mkmf
index 1b73a84..5afad63 100755
--- a/grading/userprog/mkmf
+++ b/grading/userprog/mkmf
@@ -58,6 +58,7 @@ child-arg
 child-bad
 child-close
 child-simple
+null
 EOF
 print CVSIGNORE join ("\n", @tests), "\n";
 close (CVSIGNORE);