configs/linux-x86-profile

   1 # Configuration for profiling on Linux with x86 optimizations with gprof
   2
   3 include $(TOP)/configs/linux-x86-static
   4
   5 CONFIG_NAME = linux-x86-profile
   6
   7 OPT_FLAGS = -pg -g -O2
   8 DEFINES += -DNDEBUG