common: add exec rights for run-coverity.sh

pmem-bot · Jun 15, 2018 · b3ea2e5 · b3ea2e5
1 parent 4326435
commit b3ea2e5
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/utils/docker/run-coverity.sh b/utils/docker/run-coverity.sh