From f44a2b8c0f71d20fa88e4ddc1e267032ecc673ea Mon Sep 17 00:00:00 2001
From: Jan Tattermusch <jtattermusch@google.com>
Date: Wed, 3 Jun 2015 13:26:18 -0700
Subject: [PATCH] make run_jenkins runnable

---
 tools/jenkins/run_jenkins.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/jenkins/run_jenkins.sh

diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh
old mode 100644
new mode 100755
-- 
GitLab