From 59424e2d34b791100d7924069df261b8147c3bff Mon Sep 17 00:00:00 2001
From: José Fonseca <jfonseca@titan.(none)>
Date: Fri, 28 Sep 2007 17:17:11 +0000
Subject: Update x86's static and profile configs.

---
 configs/linux-x86-profile | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 configs/linux-x86-profile

(limited to 'configs/linux-x86-profile')

diff --git a/configs/linux-x86-profile b/configs/linux-x86-profile
new file mode 100644
index 0000000000..987b5f0cf9
--- /dev/null
+++ b/configs/linux-x86-profile
@@ -0,0 +1,8 @@
+# Configuration for profiling on Linux with x86 optimizations with gprof
+
+include $(TOP)/configs/linux-x86-static
+
+CONFIG_NAME = linux-x86-profile
+
+OPT_FLAGS = -pg -g -O2
+DEFINES += -DNDEBUG
-- 
cgit v1.2.3