From 59424e2d34b791100d7924069df261b8147c3bff Mon Sep 17 00:00:00 2001 From: José Fonseca Date: Fri, 28 Sep 2007 17:17:11 +0000 Subject: Update x86's static and profile configs. --- configs/linux-profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configs/linux-profile') diff --git a/configs/linux-profile b/configs/linux-profile index 3efdcf5e057..e3895dd8bef 100644 --- a/configs/linux-profile +++ b/configs/linux-profile @@ -4,5 +4,5 @@ include $(TOP)/configs/linux-static CONFIG_NAME = linux-profile -OPT_FLAGS = -pg -g -O2 -DNDEBUG +OPT_FLAGS = -pg -g -O2 DEFINES += -DNDEBUG -- cgit v1.2.3