diff options
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): """ |