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