diff options
author | Jack Lloyd <[email protected]> | 2018-03-14 12:24:14 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-03-14 12:24:14 -0400 |
commit | c594226ef70a129521386edd7946d741e36f5e70 (patch) | |
tree | 70f077da3b35a312e820e56f6bbb1b8c478e60f3 /src/scripts | |
parent | cf03866d0c9648b92501e4de2ca62e28ff19af3b (diff) |
Revert cf0386
No optimization builds don't work either because they hit the exec
timeout. Try just carrying on even if lcov exits with error status.
Diffstat (limited to 'src/scripts')
-rwxr-xr-x | src/scripts/ci_build.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 986e3e381..97b7a1cf9 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -89,7 +89,7 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro test_cmd = None if target == 'coverage': - flags += ['--with-coverage-info', '--no-optimization'] + flags += ['--with-coverage-info'] if target == 'valgrind': flags += ['--with-valgrind'] test_prefix = ['valgrind', '--error-exitcode=9', '-v', '--leak-check=full', '--show-reachable=yes'] @@ -229,7 +229,9 @@ def run_cmd(cmd, root_dir): if proc.returncode != 0: print("Command failed with error code %d" % (proc.returncode)) - sys.exit(proc.returncode) + + if cmd[0] not in ['lcov']: + sys.exit(proc.returncode) def parse_args(args): """ |