Propagate NO_AVX512 via CCOMMON_OPT

This commit is contained in:
Martin Kroeker 2018-06-05 10:24:05 +02:00 committed by GitHub
parent dc9fe05ab5
commit b7feded85a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -939,6 +939,10 @@ ifeq ($(NO_AVX2), 1)
CCOMMON_OPT += -DNO_AVX2
endif
ifeq ($(NO_AVX512), 1)
CCOMMON_OPT += -DNO_AVX512
endif
ifdef SMP
CCOMMON_OPT += -DSMP_SERVER