1 3b0f3d61 2020-01-22 neels .PHONY: test verify clean 2 3b0f3d61 2020-01-22 neels test: verify clean 3 3b0f3d61 2020-01-22 neels 4 3b0f3d61 2020-01-22 neels verify: 5 3b0f3d61 2020-01-22 neels ./verify_all.sh 6 3b0f3d61 2020-01-22 neels clean: 7 3b0f3d61 2020-01-22 neels -rm verify.*