diff options
author | Christoph M. Wintersteiger <cwinter@microsoft.com> | 2018-12-14 12:36:10 +0000 |
---|---|---|
committer | Janos Follath <janos.follath@arm.com> | 2019-08-29 16:12:38 +0100 |
commit | e14c779615c5690179beedd289a86fc2c4f01bb9 (patch) | |
tree | 5b879995bf620086ee7a068f1d4ad59dd16828b1 | |
parent | 3dca1a405a65ef8159efc004be89de321eb0f726 (diff) | |
download | mbedtls-e14c779615c5690179beedd289a86fc2c4f01bb9.zip mbedtls-e14c779615c5690179beedd289a86fc2c4f01bb9.tar.gz mbedtls-e14c779615c5690179beedd289a86fc2c4f01bb9.tar.bz2 |
ECDH: Everest: Remove unnecessary file
-rw-r--r-- | library/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/library/Makefile b/library/Makefile index 359d510..72091b0 100644 --- a/library/Makefile +++ b/library/Makefile @@ -77,7 +77,6 @@ OBJS_CRYPTO+= \ ../3rdparty/everest/library/everest.o \ ../3rdparty/everest/library/Hacl_Curve25519.o \ ../3rdparty/everest/library/x25519.o \ - ../3rdparty/everest/library/kremlib/fstar_uint128.o \ ../3rdparty/everest/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.o OBJS_X509= certs.o pkcs11.o x509.o \ |