From 2e94543651926f04655c8d78e0e7d620a432a36a Mon Sep 17 00:00:00 2001 From: Ian Piumarta Date: Wed, 12 Jun 2024 18:00:25 +0900 Subject: [PATCH] Enable profiling when poducing release binary. --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 8c62215..826499e 100644 --- a/Makefile +++ b/Makefile @@ -58,9 +58,9 @@ profile : $(MAIN)-prof release : .FORCE rm -f *.gcda - $(MAKE) clean all GFLAGS="-DNDEBUG -DTYPECODES=1 -DDELOPT=1 -O3 -fprofile-correction -fprofile-generate" + $(MAKE) clean all GFLAGS="-DNDEBUG -DTYPECODES=1 -DDELOPT=1 -DPROFILE=1 -O3 -fprofile-correction -fprofile-generate" ./$(MAIN) -O profile-generate.txt profile-generate.txt profile-generate.txt profile-generate.txt - $(MAKE) clean all GFLAGS="-DNDEBUG -DTYPECODES=1 -DDELOPT=1 -O3 -fprofile-correction -fprofile-use" + $(MAKE) clean all GFLAGS="-DNDEBUG -DTYPECODES=1 -DDELOPT=1 -DPROFILE=1 -O3 -fprofile-correction -fprofile-use" ./$(MAIN) -O profile-generate.txt FILES = Makefile $(MAIN).leg bench.txt test.txt test2.txt