From 4646c02d92f2d78322e47436b7237306bc194c8b Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Sat, 26 Nov 2016 16:26:21 +0100
Subject: [PATCH] coverity: chmod u+x coverity-scan.sh

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

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