2005-04-15 23:16:18 +01:00
|
|
|
# Configuration for profiling on Linux with gprof
|
|
|
|
|
|
2007-09-19 23:43:36 +01:00
|
|
|
include $(TOP)/configs/linux-static
|
2005-04-15 23:16:18 +01:00
|
|
|
|
|
|
|
|
CONFIG_NAME = linux-profile
|
|
|
|
|
|
2007-09-28 18:17:11 +01:00
|
|
|
OPT_FLAGS = -pg -g -O2
|
2007-09-19 23:43:36 +01:00
|
|
|
DEFINES += -DNDEBUG
|
