From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 20 Jun 2005 22:56:12 +0000 (+0000)
Subject: Fix file name.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=663f8fb7e3cdabff1d0e0a3791ed85fcd650cb1d;hp=75e8f37004ea2d42625c04ae3b633cdfc0380af4;p=pintos-anon

Fix file name.
---

diff --git a/src/tests/vm/Grading b/src/tests/vm/Grading
index 579b38e..cb8d7cb 100644
--- a/src/tests/vm/Grading
+++ b/src/tests/vm/Grading
@@ -9,4 +9,4 @@
 25%	tests/vm/Rubric.robustness
 12.5%	tests/userprog/Rubric.functionality
 12.5%	tests/userprog/Rubric.robustness
-25%	tests/filesys/base
+25%	tests/filesys/base/Rubric