diff options
author | Jack Lloyd <[email protected]> | 2020-10-28 11:30:50 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2020-10-28 11:30:50 -0400 |
commit | 3ac763093040b0bcbadb41a43677a069ddc571f3 (patch) | |
tree | d2897665f2684efd9e30f9ed3a4083512226fdb6 | |
parent | 680bf956586b585768ef7d51c236cc1edb72544e (diff) |
Drop ffi from valgrind build
Adds a lot of time, questionable value
-rwxr-xr-x | src/scripts/ci_build.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index f1b3f86d2..69c300abb 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -74,8 +74,7 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, test_cmd = [os.path.join(root_dir, 'botan-test')] essential_tests = ['block', 'aead', 'hash', 'stream', 'mac', 'modes', 'kdf', - 'hmac_drbg', 'hmac_drbg_unit', - 'tls', 'ffi', + 'hmac_drbg', 'hmac_drbg_unit', 'tls' 'rsa_sign', 'rsa_verify', 'dh_kat', 'ecc_randomized', 'ecdh_kat', 'ecdsa_sign', 'curve25519_scalar', 'cpuid', 'simd_32', 'os_utils', 'util', 'util_dates'] |