From d76bb254e2047023d907f42b026876f89c139612 Mon Sep 17 00:00:00 2001
From: Stanley Cheung <stanleycheung@google.com>
Date: Fri, 17 Jul 2015 08:48:56 -0700
Subject: [PATCH] rename script to run_distribution

---
 tools/jenkins/{run_linuxbrew.sh => run_distribution.sh} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename tools/jenkins/{run_linuxbrew.sh => run_distribution.sh} (100%)

diff --git a/tools/jenkins/run_linuxbrew.sh b/tools/jenkins/run_distribution.sh
similarity index 100%
rename from tools/jenkins/run_linuxbrew.sh
rename to tools/jenkins/run_distribution.sh
-- 
GitLab