From: Ben Pfaff Date: Wed, 8 Dec 2004 07:55:17 +0000 (+0000) Subject: Ignore more files. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1fe867b8f19ad38b5662cb4e105cc665ecbb2f99;p=pintos-anon Ignore more files. --- diff --git a/grading/filesys/.cvsignore b/grading/filesys/.cvsignore index e5bfa38..01b7943 100644 --- a/grading/filesys/.cvsignore +++ b/grading/filesys/.cvsignore @@ -3,22 +3,9 @@ *.o bochsout.txt bochsrc.txt -sm-create -sm-full -sm-seq-block -sm-seq-random -sm-random -grow-create -grow-seq-sm -grow-seq-lg -grow-file-size -grow-tell -grow-sparse -grow-root-sm -grow-root-lg -grow-dir-lg -grow-two-files child-syn-read +child-syn-rw +child-syn-wrt dir-empty-name dir-lsdir dir-mk-tree @@ -34,6 +21,23 @@ dir-rm-tree dir-rm-vine dir-rmdir dir-under-file +grow-create +grow-dir-lg +grow-file-size +grow-root-lg +grow-root-sm +grow-seq-lg +grow-seq-sm +grow-sparse +grow-tell grow-too-big +grow-two-files +sm-create +sm-full +sm-random +sm-seq-block +sm-seq-random syn-read syn-remove +syn-rw +syn-write