Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Improve the way we disable audit tests
This diff should likely be revisited, but for now check that we're targeting a CPU that supports CHERI rather than that we're building optional CHERI programs. With this change, MK_CHERI only controls optional programs that require CHERI and aren't likely to be upstreamed in a CHERI merge.
- Loading branch information