diff options
| author | Bernhard Urban <bernhard.urban@xamarin.com> | 2018-10-22 13:46:20 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-22 13:46:20 +0300 |
| commit | b969364b7d060cdd1b51e0aa95a7087cdc698667 (patch) | |
| tree | 4806243cc69a686b29e256c318bcca591f52b846 /scripts/ci | |
| parent | 5c5aef61646a73d61ecc69ef8f0c292eb2e34330 (diff) | |
[ci] run regression tests with AOT (#11092)
Diffstat (limited to 'scripts/ci')
| -rwxr-xr-x | scripts/ci/run-test-default.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/ci/run-test-default.sh b/scripts/ci/run-test-default.sh index 7d266827165..b6bbf80fe31 100755 --- a/scripts/ci/run-test-default.sh +++ b/scripts/ci/run-test-default.sh @@ -1,6 +1,10 @@ #!/bin/bash -e ${TESTCMD} --label=mini --timeout=5m make -w -C mono/mini -k check check-seq-points EMIT_NUNIT=1 +if [[ ${CI_TAGS} == *'win-'* ]] +then ${TESTCMD} --label=mini-aotcheck --skip; +else ${TESTCMD} --label=mini-aotcheck --timeout=5m make -j ${CI_CPU_COUNT} -w -C mono/mini -k aotcheck +fi if [[ ${CI_TAGS} == *'win-'* ]] || [[ ${CI_TAGS} == *'ppc64'* ]] then ${TESTCMD} --label=aot-test --skip; else ${TESTCMD} --label=aot-test --timeout=30m make -w -C mono/tests -j ${CI_CPU_COUNT} -k test-aot |