From be46aaab22dbc54421d8b4141f120a438fd09e2d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Sun, 26 Jan 2014 00:37:45 +0100
Subject: [PATCH] Build with debug flags -g

Remove this again before running tests.
---
 GMLMIP-0.1/config.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GMLMIP-0.1/config.mk b/GMLMIP-0.1/config.mk
index 9b5d1ab..a3daed3 100644
--- a/GMLMIP-0.1/config.mk
+++ b/GMLMIP-0.1/config.mk
@@ -3,5 +3,5 @@ BISON = bison
 LEX = flex
 GCC = g++
 
-GCCFLAGS = -Wall -Wno-deprecated
+GCCFLAGS = -g -Wall -Wno-deprecated
 
-- 
GitLab