From 1c39aeca008ced62dae8245f8d6f9963f4c97b47 Mon Sep 17 00:00:00 2001 From: AlexeyAB <alexeyab84@gmail.com> Date: Thu, 12 Apr 2018 11:12:38 +0000 Subject: [PATCH] Try to fix --- Makefile | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index d71e2bd..8428fb6 100644 --- a/Makefile +++ b/Makefile @@ -47,9 +47,9 @@ CFLAGS=-Wall -Wfatal-errors -Wno-unused-result -Wno-unknown-pragmas ifeq ($(DEBUG), 1) -OPTS=-O0 -g +OPTS= -O0 -g else -OPTS=-ffp-contract=fast -mavx +CFLAGS+= -ffp-contract=fast -mavx endif CFLAGS+=$(OPTS) -- Gitblit v1.10.0