aboutsummaryrefslogtreecommitdiff
path: root/ci.sh
diff options
context:
space:
mode:
authorDario Nieuwenhuis <[email protected]>2023-08-16 20:06:15 +0200
committerDario Nieuwenhuis <[email protected]>2023-08-16 23:37:40 +0200
commitbb275f7e25e9f0a3cceb3045bceb1822167e7b31 (patch)
treef5e95fb721c1d67f10241f66ffcdd12d5ba18d57 /ci.sh
parent4f453d7ed6247cdebb083b989b7fc542cfc7aab3 (diff)
nrf: enable defmt for embassy-hal-internal.
Diffstat (limited to 'ci.sh')
-rwxr-xr-xci.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci.sh b/ci.sh
index 146a1c508..f82cc6273 100755
--- a/ci.sh
+++ b/ci.sh
@@ -3,7 +3,7 @@
3set -euo pipefail 3set -euo pipefail
4 4
5export RUSTFLAGS=-Dwarnings 5export RUSTFLAGS=-Dwarnings
6export DEFMT_LOG=trace,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
7 7
8TARGET=$(rustc -vV | sed -n 's|host: ||p') 8TARGET=$(rustc -vV | sed -n 's|host: ||p')
9 9