X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2F.cvsignore;h=602fcbdd0b8e687dfd290cca2221426a035b6f5d;hb=e5dead5761315aea788cad46aa466a8dc802d614;hp=73d1273bd0d8c68e382a1564159f942a19d67e87;hpb=05f84d800faf4a6bbcccff81d96507f79b8b715f;p=pintos-anon

diff --git a/grading/userprog/.cvsignore b/grading/userprog/.cvsignore
index 73d1273..602fcbd 100644
--- a/grading/userprog/.cvsignore
+++ b/grading/userprog/.cvsignore
@@ -1,2 +1,58 @@
+# Automatically generated by mkmf - do not modify!
 *.d
 *.dsk
+*.o
+args-argc
+args-argv0
+args-argvn
+args-single
+args-multiple
+args-dbl-space
+sc-bad-sp
+sc-bad-arg
+sc-boundary
+halt
+exit
+create-normal
+create-empty
+create-null
+create-bad-ptr
+create-long
+create-exists
+create-bound
+open-normal
+open-missing
+open-boundary
+open-empty
+open-null
+open-bad-ptr
+open-twice
+close-normal
+close-twice
+close-stdin
+close-stdout
+close-bad-fd
+read-normal
+read-bad-ptr
+read-boundary
+read-zero
+read-stdout
+read-bad-fd
+write-normal
+write-bad-ptr
+write-boundary
+write-zero
+write-stdin
+write-bad-fd
+exec-once
+exec-arg
+exec-multiple
+exec-missing
+exec-bad-ptr
+join-simple
+join-twice
+join-killed
+join-bad-pid
+multi-recurse
+multi-oom
+multi-child-fd