configs/linux-profile

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