aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDario Nieuwenhuis <[email protected]>2024-07-24 17:17:04 +0200
committerDario Nieuwenhuis <[email protected]>2024-07-24 17:17:04 +0200
commit2436335f9b8a1b1bc4a2eb1b738f4a52a454c29e (patch)
tree84fc9ad25e44a03cb668467c4c56c9a565f153a3
parent2537fc6f4fcbdaa0fcea45a37382d61f59cc5767 (diff)
ci: add instructions to install cargo-batch if not installed.
-rwxr-xr-xci.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/ci.sh b/ci.sh
index 15bb6eec0..341fe6a09 100755
--- a/ci.sh
+++ b/ci.sh
@@ -2,6 +2,14 @@
2 2
3set -eo pipefail 3set -eo pipefail
4 4
5if ! 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
11fi
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.