[Request for help] Questions about make test TEST="micro" failures

[Jie Fu]

Hi David,

> Personally I never user make to run tests (at least not directly).
How did you usually run the tests in the repository?
Is there a more convenient or efficient way?

Thanks a lot.

Best regards,
Jie