From 17a3c06b98a02703edc67369e8809b8027e21c52 Mon Sep 17 00:00:00 2001
From: Han-Wen Nienhuys <hanwen@google.com>
Date: Thu, 11 May 2017 16:03:31 +0200
Subject: [PATCH] Make coverage script +x

Change-Id: Iabeed9d9b09eba548073d5baa9dd518f2a674c08
---
 tools/coverage.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/coverage.sh

diff --git a/tools/coverage.sh b/tools/coverage.sh
old mode 100644
new mode 100755