diff --git a/testing/coverage/coverall b/testing/coverage/coverall old mode 100644 new mode 100755