Grab hard disk statistics from submissions and put them in hdd.stats.

diff --git a/ta-advice/run-tests b/ta-advice/run-tests
index 74d11305e7a23e66f72374c1fb4b47707f780a2b..d3291f1a90a1e0dd8ab3dbd3b7f8e31489cfbce1 100755 (executable)
--- a/ta-advice/run-tests
+++ b/ta-advice/run-tests
@@ -106,6 +106,8 @@ if (do_step (6)) {
     print "Saving grade report to tests.out...\n";
     xsystem ("cp pintos/src/$project/build/grade tests.out",
             DIE => "copy failed");
+    xsystem ("(cd pintos/src/$project/build && find tests -name '*.output' "
+            . " | xargs grep '^hd[01]:[01]: [0-9]') > hdd.stats");
 }
 
 if (do_step (7)) {