diff options
| author |  Jan Tattermusch <jtattermusch@users.noreply.github.com> | 2015-07-10 16:52:36 -0700 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@users.noreply.github.com> | 2015-07-10 16:52:36 -0700 |
| commit | 5421cab8f29a9952fbeccd5a9d7adf78c0b0b475 (patch) | |
| tree | 28812f7596276c02b935dd4479d51979a69bcc63 | |
| parent | d1c925402964f5c1139d71ff7fe5cac97b1ee257 (diff) | |
| parent | afaea18824849d8740023679b0d16ed1ba80f4fd (diff) | |
Merge pull request #2388 from stanley-cheung/add_homebrew_to_jenkins
fix chmod of script
| -rwxr-xr-x[-rw-r--r--] | 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_linuxbrew.sh index 10c41b4099..10c41b4099 100644..100755 --- a/tools/jenkins/run_linuxbrew.sh +++ b/tools/jenkins/run_linuxbrew.sh |