diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2015-06-03 13:26:18 -0700 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2015-06-03 13:26:18 -0700 |
| commit | f44a2b8c0f71d20fa88e4ddc1e267032ecc673ea (patch) | |
| tree | 9afadd8a42d481bf56dfb933865263199e311bac /tools/jenkins | |
| parent | 083466fcf2e92d479bfafcc70883726e96a9ced9 (diff) | |
make run_jenkins runnable
Diffstat (limited to 'tools/jenkins')
| -rwxr-xr-x[-rw-r--r--] | tools/jenkins/run_jenkins.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh index 0b66e27bbb..0b66e27bbb 100644..100755 --- a/tools/jenkins/run_jenkins.sh +++ b/tools/jenkins/run_jenkins.sh |