diff --git a/tools/coding-checks.sh b/tools/coding-checks.sh old mode 100644 new mode 100755 diff --git a/tools/misc-sanity-checks.sh b/tools/misc-sanity-checks.sh old mode 100644 new mode 100755