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