diff options
author | Nicholas DeMarinis <ndemarinis@wpi.edu> | 2023-09-18 19:29:49 -0400 |
---|---|---|
committer | Nicholas DeMarinis <ndemarinis@wpi.edu> | 2023-09-18 19:29:49 -0400 |
commit | c2348702491e5ea65e64b1ab7d2f51c5bad1562b (patch) | |
tree | 94075cbe5871c20339acb9afbe5e6305a70b49eb /util | |
parent | cde5d96b412963fb348760baf895d6910fc06df4 (diff) |
run_tests: Updated to ensure all test suites are run.
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 e24d1a2..64bbb1e 100755 --- a/util/run_tests +++ b/util/run_tests @@ -99,13 +99,13 @@ do_control() { } do_milestone() { - do_control -test.v -test.run="Test.+?/Test(ConnectsToServer|AcceptsClientConnection|CompletesHandshake)" + do_control -test.v -test.run="Test.+?/Test(ConnectsToServer|AcceptsClientConnection|CompletesHandshake)" || true do_server -test.v -test.run="Test.+?/Test(ConnectsToServer|AcceptsClientConnection|CompletesHandshake)" } do_all() { - do_server $@ + do_server $@ || true do_control $@ } |