summaryrefslogtreecommitdiffstats
path: root/configs/linux-x86-profile
diff options
context:
space:
mode:
Diffstat (limited to 'configs/linux-x86-profile')
-rw-r--r--configs/linux-x86-profile8
1 files changed, 0 insertions, 8 deletions
diff --git a/configs/linux-x86-profile b/configs/linux-x86-profile
deleted file mode 100644
index 987b5f0..0000000
--- a/configs/linux-x86-profile
+++ /dev/null
@@ -1,8 +0,0 @@
-# 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