Ignore more files.

diff --git a/grading/filesys/.cvsignore b/grading/filesys/.cvsignore
index 936cf6169e88d2214bc1a9bd62d95cf88636a92e..e5bfa380c1079f519b7f8841c1b0ce92dbcdebe5 100644 (file)
--- 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