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=d15c597f55f878aff94d1e8dcd0082769362049b;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