From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 8 Dec 2004 01:48:06 +0000 (+0000)
Subject: Ignore more files.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8b7248a39b6e8ab5182d94c8d2d2050ca158f514;p=pintos-anon

Ignore more files.
---

diff --git a/grading/filesys/.cvsignore b/grading/filesys/.cvsignore
index 936cf61..e5bfa38 100644
--- a/grading/filesys/.cvsignore
+++ b/grading/filesys/.cvsignore
@@ -18,3 +18,22 @@ grow-root-sm
 grow-root-lg
 grow-dir-lg
 grow-two-files
+child-syn-read
+dir-empty-name
+dir-lsdir
+dir-mk-tree
+dir-mk-vine
+dir-mkdir
+dir-open
+dir-over-file
+dir-rm-cwd
+dir-rm-cwd-cd
+dir-rm-parent
+dir-rm-root
+dir-rm-tree
+dir-rm-vine
+dir-rmdir
+dir-under-file
+grow-too-big
+syn-read
+syn-remove