aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJack Lloyd <[email protected]>2020-10-28 11:30:50 -0400
committerJack Lloyd <[email protected]>2020-10-28 11:30:50 -0400
commit3ac763093040b0bcbadb41a43677a069ddc571f3 (patch)
treed2897665f2684efd9e30f9ed3a4083512226fdb6
parent680bf956586b585768ef7d51c236cc1edb72544e (diff)
Drop ffi from valgrind build
Adds a lot of time, questionable value
-rwxr-xr-xsrc/scripts/ci_build.py3
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']