Propagate NO_AVX512 via CCOMMON_OPT

martin-frbg · web-flow · commit b7feded85aca · 2018-06-05T10:24:05.000+02:00
diff --git a/Makefile.system b/Makefile.system
@@ -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
 
