Description
designs using ORFS, but not part of ORFS test-suite, probably don't want to run LEC_CHECK=1.
The trick is that LEC_CHECK=1 is a reasonable default for the ORFS test scripts themselves.
Suggested Solution
Make LEC_CHECK=0 by default, pass in make LEC_CHECK=1 in CI.
Some designs explicitly disable LEC_CHECK in config.mk and they override make LEC_CHECK=1.
Additional Context
No response