diff options
author | 2015-07-10 16:48:12 -0700 | |
---|---|---|
committer | 2015-07-10 16:48:21 -0700 | |
commit | afaea18824849d8740023679b0d16ed1ba80f4fd (patch) | |
tree | 28812f7596276c02b935dd4479d51979a69bcc63 /tools/jenkins | |
parent | d1c925402964f5c1139d71ff7fe5cac97b1ee257 (diff) |
fix chmod of script
Diffstat (limited to 'tools/jenkins')
-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 |