diff options
author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2016-02-06 07:25:32 +0100 |
---|---|---|
committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2016-02-06 07:25:32 +0100 |
commit | 412a39875e3a6039bc5fcd5dde82c3cd18cd5bf0 (patch) | |
tree | 388ce6bab9a8be396383d6f92863f68c09dd5031 /tools | |
parent | a677208073b4fc6e443e311caf2a8c51e20f5f98 (diff) |
Shortcut the artifact builder early.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/jenkins/build_artifacts.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/jenkins/build_artifacts.sh b/tools/jenkins/build_artifacts.sh index 9af553ae48..c0acbdfb27 100755 --- a/tools/jenkins/build_artifacts.sh +++ b/tools/jenkins/build_artifacts.sh @@ -39,4 +39,8 @@ set -ex -o igncr || set -ex curr_platform="$platform" unset platform # variable named 'platform' breaks the windows build -python tools/run_tests/task_runner.py -f artifact $language $curr_platform $architecture +if [ "$curr_platform" == "linux" ] && [ "$language" == "ruby" ] ; then + ./tools/run_tests/build_artifact_ruby.sh +else + python tools/run_tests/task_runner.py -f artifact $language $curr_platform $architecture +fi |