Fix file name.

[pintos-anon] / src / tests / vm / Grading

diff --git a/src/tests/vm/Grading b/src/tests/vm/Grading
index 579b38e76377604ce99f4232174c05ddaeb6ce9c..cb8d7cb6822d3e32e5c82aefea6c6fa9f0d9c791 100644 (file)
--- 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