Propagate NO_AVX512 if needed

2018-06-03 13:48:27 +02:00
parent 0023515733
commit f1fb9a4745
1 changed files with 4 additions and 0 deletions
--- a/Makefile.system
+++ b/Makefile.system
@@ -147,6 +147,10 @@ ifeq ($(NO_AVX2), 1)
 GETARCH_FLAGS	+= -DNO_AVX2
 endif

+ifeq ($(NO_AVX512), 1)
+GETARCH_FLAGS	+= -DNO_AVX512
+endif
+
 ifeq ($(DEBUG), 1)
 GETARCH_FLAGS	+= -g
 endif