Allow AppKernel benchmark to utilize non-public microkernel APIs

This project requires access to non-public kernel structures
for testing purposes.

Change-Id: Ibfa119b99bda170498503cdbbee6b98f5cf41f54
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>
This commit is contained in:
Allan Stephens 2015-05-15 14:04:20 -04:00 committed by Anas Nashif
parent cff0fc3209
commit 7a4be5abf1

View file

@ -47,4 +47,6 @@ PRJ_INCPATH += ${vBASE}/samples/include/
PRJ_CONF = $(PRJ_CONF_CONSOLE_$(if ${CONFIG_CPU_FLOAT_UNSUPPORTED},NOFLOAT,FLOAT)_$(if $(filter ${vBSP}_${vBSP_VARIANT},${PC8253_BSP_VARIANTS}),8253,GEN))
override EXTRA_CFLAGS += -I${vBASE}/kernel/microkernel/include/
include ${vMAKE}/target/make.ukernel