diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-08-16 21:42:55 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-08-16 21:42:55 +0000 |
| commit | 2a4ebdc150ba7c32d7dacc12aec85bccf05a41ff (patch) | |
| tree | f5e95fb721c1d67f10241f66ffcdd12d5ba18d57 /ci.sh | |
| parent | 4f453d7ed6247cdebb083b989b7fc542cfc7aab3 (diff) | |
| parent | bb275f7e25e9f0a3cceb3045bceb1822167e7b31 (diff) | |
Merge pull request #1787 from embassy-rs/nrf-internal-defmt
nrf: enable defmt for embassy-hal-internal.
Diffstat (limited to 'ci.sh')
| -rwxr-xr-x | ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -3,7 +3,7 @@ | |||
| 3 | set -euo pipefail | 3 | set -euo pipefail |
| 4 | 4 | ||
| 5 | export RUSTFLAGS=-Dwarnings | 5 | export RUSTFLAGS=-Dwarnings |
| 6 | export DEFMT_LOG=trace,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 | 7 | ||
| 8 | TARGET=$(rustc -vV | sed -n 's|host: ||p') | 8 | TARGET=$(rustc -vV | sed -n 's|host: ||p') |
| 9 | 9 | ||