| commit | 3b8327b42a6f4c8361fec06269764fc2e1ab2e4b | [log] [tgz] |
|---|---|---|
| author | Christoph M. Wintersteiger <cwinter@microsoft.com> | Fri Dec 14 12:36:10 2018 +0000 |
| committer | Janos Follath <janos.follath@arm.com> | Fri Aug 23 09:57:02 2019 +0100 |
| tree | c6eeb9c1017ec36c4d161b8af4019bc3d3679869 | |
| parent | cade42238c225654a431e2337d11728f50981675 [diff] |
ECDH: Everest: Remove unnecessary file
diff --git a/library/Makefile b/library/Makefile index 0ed5218..27b8a63 100644 --- a/library/Makefile +++ b/library/Makefile
@@ -77,7 +77,6 @@ ../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 \