diff --git a/lint.sh b/lint.sh old mode 100644 new mode 100755