diff options
| author |  Stanley Cheung <stanleycheung@google.com> | 2015-07-17 08:48:56 -0700 |
|---|---|---|
| committer | Stanley Cheung <stanleycheung@google.com> | 2015-07-17 08:48:56 -0700 |
| commit | d76bb254e2047023d907f42b026876f89c139612 (patch) | |
| tree | a655a96528b0ebddab9983bc63e629e30c695163 /tools/jenkins | |
| parent | c876923bc2a3d9c6bbc03f275a7fe68333b95600 (diff) | |
rename script to run_distribution
Diffstat (limited to 'tools/jenkins')
| -rwxr-xr-x | tools/jenkins/run_distribution.sh (renamed from tools/jenkins/run_linuxbrew.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/jenkins/run_linuxbrew.sh b/tools/jenkins/run_distribution.sh index 10c41b4099..10c41b4099 100755 --- a/tools/jenkins/run_linuxbrew.sh +++ b/tools/jenkins/run_distribution.sh |