diff options
| -rwxr-xr-x | ci.sh | 5 |
1 files changed, 4 insertions, 1 deletions
| @@ -1,9 +1,12 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | 2 | ||
| 3 | set -euo pipefail | 3 | set -eo pipefail |
| 4 | 4 | ||
| 5 | export RUSTFLAGS=-Dwarnings | 5 | export RUSTFLAGS=-Dwarnings |
| 6 | export DEFMT_LOG=trace,embassy_hal_internal=debug,embassy_net_esp_hosted=debug,cyw43=info,cyw43_pio=info,smoltcp=info | 6 | export DEFMT_LOG=trace,embassy_hal_internal=debug,embassy_net_esp_hosted=debug,cyw43=info,cyw43_pio=info,smoltcp=info |
| 7 | if [[ -z "${CARGO_TARGET_DIR}" ]]; then | ||
| 8 | export CARGO_TARGET_DIR=target_ci | ||
| 9 | fi | ||
| 7 | 10 | ||
| 8 | TARGET=$(rustc -vV | sed -n 's|host: ||p') | 11 | TARGET=$(rustc -vV | sed -n 's|host: ||p') |
| 9 | 12 | ||
