X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Frun-tests;h=4199d94214f09b9b61348ff487f620937ea39dcd;hb=b01246f0f671f8e5ac32b329b5cf62d5413f90d3;hp=931edb6022bada88172a518e6612c2ca87853ae3;hpb=b5951493cb20b27398413552d8287c054994a8a5;p=pintos-anon diff --git a/grading/threads/run-tests b/grading/threads/run-tests index 931edb6..4199d94 100755 --- a/grading/threads/run-tests +++ b/grading/threads/run-tests @@ -37,9 +37,11 @@ exit if $action eq 'extract'; build (); exit if $action eq 'build'; -run_and_grade_tests (); -grade_mlfqs_speedup (); -grade_mlfqs_priority (); +run_and_grade_tests (); +if (defined ($result{'mlfqs-on'}) && defined ($result{'mlfqs-off'})) { + grade_mlfqs_speedup (); + grade_mlfqs_priority (); +} write_grades (); write_details (); exit if $action eq 'test';