projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
When running a "test" or "assemble" target, run-tests now returns zero
[pintos-anon]
/
grading
/
filesys
/
run-tests
diff --git
a/grading/filesys/run-tests
b/grading/filesys/run-tests
index 143ab4a0de904664a237e28d556a1abdf3b35e88..7251cef06c412b4f2052ef63cf4feb2c92ea6e46 100755
(executable)
--- a/
grading/filesys/run-tests
+++ b/
grading/filesys/run-tests
@@
-40,12
+40,12
@@
extract_sources ();
exit if $action eq 'extract';
build ();
exit if $action eq 'extract';
build ();
-exit if $action eq 'build';
+exit
success ()
if $action eq 'build';
run_and_grade_tests ();
write_grades ();
write_details ();
run_and_grade_tests ();
write_grades ();
write_details ();
-exit if $action eq 'test';
+exit
success ()
if $action eq 'test';
assemble_final_grade ();
exit if $action eq 'assemble';
assemble_final_grade ();
exit if $action eq 'assemble';