From d75854c0fddb7f1931a7afbc8c399dc3eb4e28c3 Mon Sep 17 00:00:00 2001 From: AlexeyAB <alexeyab84@gmail.com> Date: Thu, 12 Apr 2018 16:31:36 +0000 Subject: [PATCH] Minor 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