Description: Add -g to have debug info
Author: Michael Tautschnig <mt@debian.org>

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: http://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: <YYYY-MM-DD>

Index: cbmc-4.0/src/config.inc
===================================================================
--- cbmc-4.0.orig/src/config.inc	2011-05-18 15:17:46.000000000 +0200
+++ cbmc-4.0/src/config.inc	2011-06-14 19:33:12.000000000 +0200
@@ -12,7 +12,7 @@
 LIBEXT = .a
 OBJEXT = .o
 EXEEXT =
-GCCFLAGS = -Wall -MMD -O2
+GCCFLAGS = -Wall -MMD -O2 -g
 #LINKFLAGS = -static
 LINKLIB = ld -r -o $@ $^
 LINKBIN = $(CXX) $(LINKFLAGS) -o $@ $(LIBS)
