diff options
Diffstat (limited to 'util/run_tests')
| -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 $@ } |