Execute `docker/run.sh` on Linux

This commit is contained in:
Alex Crichton 2019-05-20 12:39:25 -07:00
parent 7b266ff181
commit 804ec5faab
1 changed files with 7 additions and 1 deletions

View File

@ -67,7 +67,13 @@ steps:
condition: and(succeeded(), eq(variables['IMAGE'], 'mingw-check'))
displayName: Verify the publish_toolstate script works
- script: sh src/ci/run.sh
- bash: |
set -e
if [ "$IMAGE" = ""]; then
src/ci/run.sh
else
src/ci/docker/run.sh $IMAGE
fi
timeoutInMinutes: 180
env:
CI: true