Shell-Make provides a shell script for easy testing in pintos. It makes, and runs the test you specified in the first command line argument afterwards