Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/ci/run-jenkins.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/ci/run-jenkins.sh b/scripts/ci/run-jenkins.sh
index cb54c39f136..3641ca02721 100755
--- a/scripts/ci/run-jenkins.sh
+++ b/scripts/ci/run-jenkins.sh
@@ -95,7 +95,10 @@ then
fi
if [[ ${CI_TAGS} == *'sdks-llvm'* ]]; then
- ${TESTCMD} --label=archive --timeout=120m --fatal make -j ${CI_CPU_COUNT} -C sdks/builds archive-llvm36-llvm32 archive-llvm-llvm{,win}{32,64} NINJA=
+ ${TESTCMD} --label=archive --timeout=120m --fatal make -j ${CI_CPU_COUNT} -C sdks/builds archive-llvm-llvm{,win}{32,64} NINJA=
+ if [[ ${CI_TAGS} == *'osx-amd64'* ]]; then
+ ${TESTCMD} --label=archive-llvm36 --timeout=60m --fatal make -j ${CI_CPU_COUNT} -C sdks/builds archive-llvm36-llvm32 NINJA=
+ fi
exit 0
fi