X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2F.cvsignore;h=72f178636dc110339c3840137d9b17bddc73e880;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hp=73d1273bd0d8c68e382a1564159f942a19d67e87;hpb=ae20a83cc5ed14f276f2292d99079370562addc9;p=pintos-anon

diff --git a/grading/userprog/.cvsignore b/grading/userprog/.cvsignore
index 73d1273..72f1786 100644
--- a/grading/userprog/.cvsignore
+++ b/grading/userprog/.cvsignore
@@ -1,2 +1,65 @@
+# Automatically generated by mkmf - do not modify!
 *.d
 *.dsk
+*.o
+bochsrc.txt
+bochsout.txt
+child-arg
+child-bad
+child-close
+child-simple
+null
+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
+wait-simple
+wait-twice
+wait-killed
+wait-bad-pid
+multi-recurse
+multi-oom
+multi-child-fd