diff options
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 77ba19662..02ecb1ed7 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -48,7 +48,7 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro test_prefix = [] test_cmd = [os.path.join(root_dir, 'botan-test')] - if target in ['shared', 'static', 'sanitizer', 'gcc4.8', 'cross-i386', 'bsi', 'nist']: + if target in ['shared', 'static', 'sanitizer', 'fuzzers', 'gcc4.8', 'cross-i386', 'bsi', 'nist']: test_cmd += ['--test-threads=%d' % (get_concurrency())] fast_tests = ['block', 'aead', 'hash', 'stream', 'mac', 'modes', 'kdf', |