Drop extensions from script filenames

script/lint

@@ -0,0 +1,14 @@
+#!/usr/bin/env bash
+
+CPPLINT=externals/cpplint.py
+CPPLINT_URL=http://google-styleguide.googlecode.com/svn/trunk/cpplint/cpplint.py
+
+if [[ ! -f $CPPLINT ]]; then
+  curl $CPPLINT_URL > $CPPLINT
+  chmod +x $CPPLINT
+fi
+
+FILTERS='--filter=-legal/copyright,-readability/todo,-build/c++11'
+
+$CPPLINT --linelength=90 --root=include $FILTERS include/tree_sitter/compiler.h 2>&1
+$CPPLINT --linelength=90 --root=src $FILTERS $(find src/compiler -type f) 2>&1