From ad640caac60bcb000ea0647b77f809a714aaaad2 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Fri, 30 Jul 2021 13:38:39 -0700
Subject: Removing DEBUG_HEAP, just do a full cleanup all the time

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 24f9ca0..0a9cb22 100644
--- a/Makefile
+++ b/Makefile
@@ -45,8 +45,7 @@ clean:
 test: $(NAME)
 	./$(NAME) -g ./grammars/bp.bp -p Grammar ./grammars/bp.bp
 
-leaktest:
-	make G=-ggdb O=-O0 EXTRA=-DDEBUG_HEAP clean bp
+leaktest: bp
 	valgrind --leak-check=full ./bp -l -g ./grammars/bp.bp -p Grammar ./grammars/bp.bp
 
 splint:
-- 
cgit v1.2.3