diff options
| author | sotech117 <michael_foiani@brown.edu> | 2023-09-23 23:10:12 -0400 |
|---|---|---|
| committer | sotech117 <michael_foiani@brown.edu> | 2023-09-23 23:10:12 -0400 |
| commit | c055294629f1c3bb8843c65ce5ebff15efc94b7b (patch) | |
| tree | a22057b62674feb4fe3a243b8cf61688a36f5747 /util | |
| parent | 773f64c74c222d20cfb1183fcc235f429ce5370f (diff) | |
implement extra credit
Diffstat (limited to 'util')
| -rwxr-xr-x | util/run_tests | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/run_tests b/util/run_tests index 64bbb1e..66a1063 100755 --- a/util/run_tests +++ b/util/run_tests @@ -105,8 +105,8 @@ do_milestone() { do_all() { - do_server $@ || true - do_control $@ + do_control $@ || true + do_server $@ } main() { |