diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-07-24 17:17:04 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2024-07-24 17:17:04 +0200 |
| commit | 2436335f9b8a1b1bc4a2eb1b738f4a52a454c29e (patch) | |
| tree | 84fc9ad25e44a03cb668467c4c56c9a565f153a3 /ci.sh | |
| parent | 2537fc6f4fcbdaa0fcea45a37382d61f59cc5767 (diff) | |
ci: add instructions to install cargo-batch if not installed.
Diffstat (limited to 'ci.sh')
| -rwxr-xr-x | ci.sh | 8 |
1 files changed, 8 insertions, 0 deletions
| @@ -2,6 +2,14 @@ | |||
| 2 | 2 | ||
| 3 | set -eo pipefail | 3 | set -eo pipefail |
| 4 | 4 | ||
| 5 | if ! command -v cargo-batch &> /dev/null; then | ||
| 6 | echo "cargo-batch could not be found. Install it with the following command:" | ||
| 7 | echo "" | ||
| 8 | echo " cargo install --git https://github.com/embassy-rs/cargo-batch cargo --bin cargo-batch --locked" | ||
| 9 | echo "" | ||
| 10 | exit 1 | ||
| 11 | fi | ||
| 12 | |||
| 5 | # check-cfg is stable on rustc 1.79 but not cargo 1.79. | 13 | # check-cfg is stable on rustc 1.79 but not cargo 1.79. |
| 6 | # however, our cargo-batch is currently based on cargo 1.80, which does support check-cfg. | 14 | # however, our cargo-batch is currently based on cargo 1.80, which does support check-cfg. |
| 7 | # so, force build.rs scripts to emit check-cfg commands. | 15 | # so, force build.rs scripts to emit check-cfg commands. |
