Pre-commit hook to call make lint (#815)

This commit is contained in:
Erik Demaine
2017-08-21 21:55:49 -04:00
committed by Kevin Barabash
parent a9708a25f2
commit 6d2cf79f53
2 changed files with 3 additions and 0 deletions

2
hooks/pre-commit Executable file
View File

@@ -0,0 +1,2 @@
#!/bin/sh
exec make lint