diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-07-25 10:25:05 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-07-25 10:25:05 +0000 |
| commit | 8b4bb625be86e7c199a14ceffbed7ad87b99a8db (patch) | |
| tree | 43e1ddb006922ef2100b30311314174f9456d16d /ci.sh | |
| parent | 2537fc6f4fcbdaa0fcea45a37382d61f59cc5767 (diff) | |
| parent | 1598dd55e4f75c616d5461bde4289b962ff77615 (diff) | |
Merge pull request #3206 from embassy-rs/rp-timer-test
tests/rp: add timer test.
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. |