diff --git a/utils/docker/run-coverity.sh b/utils/docker/run-coverity.sh
old mode 100644
new mode 100755