aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicholas DeMarinis <ndemarinis@wpi.edu>2023-09-18 19:29:49 -0400
committerNicholas DeMarinis <ndemarinis@wpi.edu>2023-09-18 19:29:49 -0400
commitc2348702491e5ea65e64b1ab7d2f51c5bad1562b (patch)
tree94075cbe5871c20339acb9afbe5e6305a70b49eb
parentcde5d96b412963fb348760baf895d6910fc06df4 (diff)
run_tests: Updated to ensure all test suites are run.
-rwxr-xr-xutil/run_tests4
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 $@
}