Searched refs:L4V_KERNEL_BUILD_DIR (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/graph-refine/seL4-example/
H A DMakefile40 L4V_KERNEL_BUILD_DIR := build/${L4V_ARCH} macro
41 L4V_KERNEL_BUILD_PATH := ${CSPEC_DIR}/c/${L4V_KERNEL_BUILD_DIR}
115 MAKEFILES= make -C ${CSPEC_DIR}/c ${L4V_KERNEL_BUILD_DIR}/kernel_all.c_pp

Completed in 25 milliseconds