diff options
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. |
