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

/seL4-l4v-master/graph-refine/seL4-example/
H A DMakefile74 KERNEL_PATHS := $(patsubst %, $(TARGET_DIR)/%, $(KERNEL_FILES)) macro
80 ${KERNEL_TGZ}: ${KERNEL_PATHS}
83 ${TARGET_TGZ}: ${KERNEL_PATHS} ${TARGET_PATHS}
88 ${KERNEL_PATHS}: ${TARGET_DIR}/%: ${KERNEL_BUILD_ROOT}/%

Completed in 24 milliseconds