diff options
| author | Jack Lloyd <[email protected]> | 2020-11-08 09:58:50 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2020-11-08 09:58:50 -0500 |
| commit | e6553098ca9eaf1933fdf60c065d411c6560dcb4 (patch) | |
| tree | 12b234c03b814a90106121b6793b9e7895787625 /src/scripts/ci_build.py | |
| parent | 7971c484268e105e2c6142c0f62ca4e3a906af62 (diff) | |
| parent | b6c7318a5d44d1274e49511fbe583ee65afc978e (diff) | |
Merge GH #2473 Re-enable the asio stream tests in coverage build
Diffstat (limited to 'src/scripts/ci_build.py')
| -rwxr-xr-x | src/scripts/ci_build.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 0cea55a32..1d360ef0a 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -112,7 +112,6 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, if target == 'coverage': flags += ['--with-coverage-info', '--with-debug-info', '--test-mode'] - test_cmd += ['--skip-tests=tls_stream_integration'] if target == 'valgrind': # valgrind in 16.04 has a bug with rdrand handling |