3rdparty: Fix Makefile coding conventions

This commit is contained in:
Christoph M. Wintersteiger 2019-02-15 12:39:21 +00:00 committed by Janos Follath
parent 41fb2c05e8
commit 02174b90dc
3 changed files with 5 additions and 2 deletions

View file

@ -1 +1,2 @@
include ../3rdparty/everest/Makefile.inc
include ../3rdparty/everest/Makefile.inc

1
3rdparty/everest/Makefile.inc vendored Executable file → Normal file
View file

@ -16,3 +16,4 @@ THIRDPARTY_OBJECTS+=../3rdparty/everest/library/legacy/Hacl_Curve25519.o \
../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o
endif
endif