configs/linux-profile


1
2
3
4
5
6
7
8

# Configuration for profiling on Linux with gprof

include $(TOP)/configs/linux-static

CONFIG_NAME = linux-profile

OPT_FLAGS = -pg -g -O2 -DNDEBUG
DEFINES += -DNDEBUG