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