Searched refs:VERIFIER_TEST_FILES (Results 1 – 1 of 1) sorted by relevance
307 VERIFIER_TEST_FILES := $(wildcard verifier/*.c) macro310 $(OUTPUT)/test_verifier: test_verifier.c | $(VERIFIER_TEST_FILES) $(VERIFIER_TESTS_H)311 $(VERIFIER_TESTS_H): $(VERIFIER_TEST_FILES) | $(VERIFIER_TESTS_DIR)
