Searched refs:ExtraMakefiles (Results 1 – 3 of 3) sorted by relevance
13 ExtraMakefiles = $(PROJ_OBJ_DIR)/Makefile.ocaml macro
19 ExtraMakefiles = $(PROJ_OBJ_DIR)/Makefile.common macro
236 Makefile: $(PROJ_MAKEFILE) $(ExtraMakefiles)