From 649859601c0f4a29c1323485a63374b1960dce99 Mon Sep 17 00:00:00 2001
From: Christophe de Dinechin <dinechin@redhat.com>
Date: Tue, 18 Apr 2017 17:42:33 +0200
Subject: [PATCH] Leave debug information for opt builds

---
 config.gnu.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.gnu.mk b/config.gnu.mk
index b60d9cf..9df9147 100644
--- a/config.gnu.mk
+++ b/config.gnu.mk
@@ -40,7 +40,7 @@ INSTALL=	install
 #------------------------------------------------------------------------------
 
 CFLAGS_debug=   -g -Wall -fno-inline
-CFLAGS_opt=     -O3 -Wall
+CFLAGS_opt=     -g -O3 -Wall
 CFLAGS_release= -O3 -Wall
 CFLAGS_profile=	-pg
 CFLAGS_cxx=     -x c++