diff options
| author | Jack Lloyd <[email protected]> | 2018-04-14 10:05:57 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-04-14 10:05:57 -0400 |
| commit | 92605ef479e6b12a095a5451d20bcbcc72007c09 (patch) | |
| tree | f2a8541c0dd4a15c5681316954b0fdb69f604aaa /src/scripts | |
| parent | 7b466251c4260a0c822baeaa2857d54f8d0dbb1e (diff) | |
Add an explicit test mode build
GH #1537
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/ci_build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 97b7a1cf9..18dae66b2 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'] + flags += ['--with-coverage-info', '--test-mode'] if target == 'valgrind': flags += ['--with-valgrind'] test_prefix = ['valgrind', '--error-exitcode=9', '-v', '--leak-check=full', '--show-reachable=yes'] |