diff options
author | Alexander Köplinger <alex.koeplinger@outlook.com> | 2017-08-12 00:52:47 +0300 |
---|---|---|
committer | Alexander Köplinger <alex.koeplinger@outlook.com> | 2017-08-12 00:56:43 +0300 |
commit | e6a2cb8763aea979033e323676e6bf30f6252b7c (patch) | |
tree | 3b637e9d3e0de58a8254c0fd92162489be14c1a8 /scripts | |
parent | 43cec6c0dda0b5b0fbaaabc019a760965b573d55 (diff) |
[ci] Add CI_TAGS for apidiff and ms-test-suite
Easier to maintain than the "label" which could change depending on the bots.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci/run-test-default.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/ci/run-test-default.sh b/scripts/ci/run-test-default.sh index de0ec47d2ca..daad48d3cc5 100755 --- a/scripts/ci/run-test-default.sh +++ b/scripts/ci/run-test-default.sh @@ -99,11 +99,11 @@ ${TESTCMD} --label=System.IO.Compression --timeout=5m make -w -C mcs/class/Syste if [[ ${label} == w* ]]; then ${TESTCMD} --label=symbolicate --skip; else ${TESTCMD} --label=symbolicate --timeout=60m make -w -C mcs/tools/mono-symbolicate check; fi ${TESTCMD} --label=monolinker --timeout=10m make -w -C mcs/tools/linker check -if [[ ${label} == osx-* ]] +if [[ $CI_TAGS == *'ms-test-suite'* ]] then ${TESTCMD} --label=ms-test-suite --timeout=30m make -w -C acceptance-tests check-ms-test-suite else ${TESTCMD} --label=ms-test-suite --skip; fi -if [[ ${label} == 'ubuntu-1404-amd64' ]]; then +if [[ $CI_TAGS == *'apidiff'* ]]; then source ${MONO_REPO_ROOT}/scripts/ci/util.sh if ${TESTCMD} --label=apidiff --timeout=15m --fatal make -w -C mcs -j4 mono-api-diff then report_github_status "success" "API Diff" "No public API changes found." || true |