From 2821ac5e237152b412848396ca771ccbb12ba452 Mon Sep 17 00:00:00 2001 From: Diomidis Spinellis Date: Fri, 2 Aug 2024 00:18:51 +0300 Subject: [PATCH] Add PROFILE make flag --- src/Makefile | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/src/Makefile b/src/Makefile index 29928933..cd046eb0 100644 --- a/src/Makefile +++ b/src/Makefile @@ -98,9 +98,14 @@ CFLAGS+=-g CXXFLAGS+=-g # -D_GLIBCXX_CONCEPT_CHECKS else -CPPFLAGS+=-DPRODUCTION -CFLAGS+=-O3 -CXXFLAGS+=-O3 + ifdef PROFILE + CFLAGS+=-O0 -g -pg + CXXFLAGS+=-O0 -g -pg + else + CPPFLAGS+=-DPRODUCTION + CFLAGS+=-O3 + CXXFLAGS+=-O3 + endif endif # Test coverage analysis