From: Ben Pfaff Date: Tue, 23 Nov 2004 00:57:42 +0000 (+0000) Subject: Update .cvsignore files. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=59f80c83ea4d8d70c781dff37e4542f0707a5ee1 Update .cvsignore files. --- diff --git a/doc/.cvsignore b/doc/.cvsignore index f1ff90d..cb7722e 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -11,5 +11,10 @@ *.vr mlfqs1.png mlfqs2.png +mlfqs1.pdf +mlfqs2.pdf projects.html -projects_*.html +pintos.html +pintos.pdf +pintos.ps +pintos_*.html diff --git a/grading/userprog/.cvsignore b/grading/userprog/.cvsignore index 602fcbd..422f695 100644 --- a/grading/userprog/.cvsignore +++ b/grading/userprog/.cvsignore @@ -2,6 +2,12 @@ *.d *.dsk *.o +bochsrc.txt +bochsout.txt +child-arg +child-bad +child-close +child-simple args-argc args-argv0 args-argvn diff --git a/grading/userprog/mkmf b/grading/userprog/mkmf index 7cfeae8..1b73a84 100755 --- a/grading/userprog/mkmf +++ b/grading/userprog/mkmf @@ -52,6 +52,12 @@ print CVSIGNORE <