ECDH: Everest: Remove unnecessary file

This commit is contained in:
Christoph M. Wintersteiger
2019-08-23 09:57:02 +01:00
committed by Janos Follath
parent cade42238c
commit 3b8327b42a
-1
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 \