Then what is the purpose of this command (shouldn't `make term | grep -q "OK [1-9][0-9]* tests"` have the same effect)?