709,711d708 < diff --git a/core/scripts/run-tests.sh b/core/scripts/run-tests.sh < old mode 100644 < new mode 100755