| commit | e14c779615c5690179beedd289a86fc2c4f01bb9 | [log] [tgz] |
|---|---|---|
| author | Christoph M. Wintersteiger <cwinter@microsoft.com> | Fri Dec 14 12:36:10 2018 +0000 |
| committer | Janos Follath <janos.follath@arm.com> | Thu Aug 29 16:12:38 2019 +0100 |
| tree | 5b879995bf620086ee7a068f1d4ad59dd16828b1 | |
| parent | 3dca1a405a65ef8159efc004be89de321eb0f726 [diff] |
ECDH: Everest: Remove unnecessary file
diff --git a/library/Makefile b/library/Makefile index 359d510..72091b0 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 \