summaryrefslogtreecommitdiff
path: root/configs/linux-x86-64-profile
diff options
context:
space:
mode:
authorJosé Fonseca <jfonseca@titan.(none)>2007-09-28 17:17:11 +0000
committerJosé Fonseca <jfonseca@titan.(none)>2007-09-28 18:18:50 +0100
commit59424e2d34b791100d7924069df261b8147c3bff (patch)
tree1bb0f88830270a31d1c40a1eb559a5b7caa0ba32 /configs/linux-x86-64-profile
parent8731e391f5a8bb45adb53242b0a473707c0c024c (diff)
Update x86's static and profile configs.
Diffstat (limited to 'configs/linux-x86-64-profile')
-rw-r--r--configs/linux-x86-64-profile8
1 files changed, 8 insertions, 0 deletions
diff --git a/configs/linux-x86-64-profile b/configs/linux-x86-64-profile
new file mode 100644
index 0000000000..6eb9c6844b
--- /dev/null
+++ b/configs/linux-x86-64-profile
@@ -0,0 +1,8 @@
+# Configuration for profiling on Linux for 64-bit X86 (Opteron) with gprof
+
+include $(TOP)/configs/linux-x86-64-static
+
+CONFIG_NAME = linux-x86-64-profile
+
+OPT_FLAGS = -pg -g -O2
+DEFINES += -DNDEBUG