diff --git a/coverity-scan.sh b/coverity-scan.sh old mode 100644 new mode 100755