diff --git a/dev/run-tests b/dev/run-tests old mode 100644 new mode 100755