Note

tools/check_format.sh

@@ -9,5 +9,6 @@ if [ $failed -eq 0 ]; then
     echo "Format checks passed"
     exit 0
 else
+    echo "Format checks failed; please run 'make format'"
     exit 1
 fi