From b3ea2e5e9c08b50a5cee16629d15b248dc9e3716 Mon Sep 17 00:00:00 2001
From: Igor Chorazewicz <igor.chorazewicz@intel.com>
Date: Fri, 15 Jun 2018 11:58:02 +0200
Subject: [PATCH] common: add exec rights for run-coverity.sh

---
 utils/docker/run-coverity.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 utils/docker/run-coverity.sh

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