pintos - 在 pintos 中进行检查时，目标“检查”的配方失败

Question

最近我正在学习 pintos，当我在终端中输入 make check 时，出现以下错误 ../../tests/Make.tests:26:recipe for target 'check' failed
../Makefile.kernel:10:目标“检查”的配方失败我应该怎么做才能修复这些错误？