summaryrefslogtreecommitdiffstats
path: root/src/ci/scripts/run-build-from-ci.sh
blob: 55e75800d91c4f62e7b5e58bb7387e9a2930725a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#!/bin/bash
# Start the CI build. You shouldn't run this locally: call either src/ci/run.sh
# or src/ci/docker/run.sh instead.

set -euo pipefail
IFS=$'\n\t'

source "$(cd "$(dirname "$0")" && pwd)/../shared.sh"

export CI="true"
export SRC=.

echo "::add-matcher::src/ci/github-actions/problem_matchers.json"

# Remove any preexisting rustup installation since it can interfere
# with the cargotest step and its auto-detection of things like Clippy in
# the environment
rustup self uninstall -y || true
if [ -z "${IMAGE+x}" ]; then
    src/ci/run.sh
else
    src/ci/docker/run.sh "${IMAGE}"
fi