ECDH: Everest: Remove unnecessary file

This commit is contained in:
Christoph M. Wintersteiger 2018-12-14 12:36:10 +00:00 committed by Janos Follath
parent 3dca1a405a
commit e14c779615

View file

@ -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 \