Make sure that AVX512 is disabled in 32bit builds

martin-frbg · web-flow · commit c4868d11c02f · 2019-03-01T09:23:03.000+01:00
for #2033
diff --git a/Makefile.system b/Makefile.system
@@ -156,6 +156,7 @@ endif
 
 ifeq ($(BINARY), 32)
 GETARCH_FLAGS	+= -DNO_AVX -DNO_AVX2 -DNO_AVX512
+NO_AVX512 = 1
 endif
 
 ifeq ($(NO_AVX2), 1)
