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

/seL4-camkes-master/tools/cogent/cogent/
H A DMakefile21 DUMMY_HEADER_FILES := $(addprefix tests/include/,$(notdir $(PASS_TEST_COGENT_FILES:.cogent=_dummy.h))) macro
81 .gen-types: .test-setup $(DUMMY_HEADER_FILES)

Completed in 25 milliseconds