diff options
author | Jan Tattermusch <jtattermusch@users.noreply.github.com> | 2016-03-16 11:28:16 -0700 |
---|---|---|
committer | Jan Tattermusch <jtattermusch@users.noreply.github.com> | 2016-03-16 11:28:16 -0700 |
commit | f03872f556a443b33ed3371f548832968eccce2e (patch) | |
tree | b08269aac2a11681d41838100dc54debd42927b5 /tools | |
parent | f4f57f07493453c57ee5fbf2e7111736151d0e3a (diff) | |
parent | 28c0809ffc83841d4f6fa006bead96687af64571 (diff) |
Merge pull request #5765 from adelez/setup_full_interop
chmod g+x
Diffstat (limited to 'tools')
-rwxr-xr-x[-rw-r--r--] | tools/jenkins/run_full_interop.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/jenkins/run_full_interop.sh b/tools/jenkins/run_full_interop.sh index a82da1cb68..a82da1cb68 100644..100755 --- a/tools/jenkins/run_full_interop.sh +++ b/tools/jenkins/run_full_interop.sh |