From efd9e95b26984b82720815c5af30ec2122b8b73d Mon Sep 17 00:00:00 2001
From: zawz <zawz@hotmail.fr>
Date: Fri, 13 Nov 2020 15:22:46 +0100
Subject: [PATCH] add dev profiling

---
 .gitignore | 3 +++
 Makefile   | 3 +--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index c538562..88fef6a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,6 @@
 /Zmakefile
 /TODO
 /lxsh
+/gmon.out
+/profiling/*
+/profiling.*
diff --git a/Makefile b/Makefile
index 761ea78..b09a137 100644
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@ CXXFLAGS= -I$(IDIR) -Wall -pedantic -std=c++17
 ifeq     ($(DEBUG),true)
   # debugging flags
   CC=clang++
-  CXXFLAGS += -g
+  CXXFLAGS += -g -pg
 else
   # release flags
   CXXFLAGS += -O2
@@ -34,7 +34,6 @@ endif
 ## END CONFIG ##
 
 
-
 $(shell mkdir -p $(ODIR))
 $(shell mkdir -p $(BINDIR))