On Thu, May 26, 2022, Dan Cross wrote: > On Thu, May 26, 2022 at 5:23 PM Sean Christopherson <seanjc@xxxxxxxxxx> wrote: > > Why not simply move the check to run_tests.sh? I can't imaging it's performance > > sensitive, and I doubt I'm the only one that builds tests on one system and runs > > them on a completely different system. > > `run_tests.sh` already has the test. Changing it to a warning here > was at the suggestion of Thomas and Drew. Ah, hence the earlier comment about removing the check entirely. Either works for me, thanks!