diff --git a/tests/gen_tests_makefile.py b/tests/gen_tests_makefile.py index 38596f63b..e4e44241c 100644 --- a/tests/gen_tests_makefile.py +++ b/tests/gen_tests_makefile.py @@ -94,6 +94,9 @@ def generate_tests(argv, cmds): def print_header(extra=None): print(f"include {common_mk}") + print(f"ifneq ($(wildcard {yosys_basedir}/Makefile.conf),)") + print(f"include {yosys_basedir}/Makefile.conf") + print(f"endif") print(f"YOSYS ?= {yosys_basedir}/yosys") print("") print("export YOSYS_MAX_THREADS := 4")