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