diff options
| author | xoviat <[email protected]> | 2023-07-22 14:49:31 -0500 |
|---|---|---|
| committer | xoviat <[email protected]> | 2023-07-22 14:49:31 -0500 |
| commit | d42dff45de94522d7a5324773b352266a77f0c2c (patch) | |
| tree | b1d9e5d113405f60a211d046713f992a0f7c825b /ci.sh | |
| parent | 0c49e6747c02e03fc6517969105cfdf20239fc64 (diff) | |
| parent | 603ea9f31039f3c25a5314f53c2d8f8bcabe16af (diff) | |
Merge branch 'main' of https://github.com/embassy-rs/embassy into hrtim
Diffstat (limited to 'ci.sh')
| -rwxr-xr-x | ci.sh | 4 |
1 files changed, 0 insertions, 4 deletions
| @@ -5,10 +5,6 @@ set -euo pipefail | |||
| 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_net_esp_hosted=debug,cyw43=info,cyw43_pio=info,smoltcp=info |
| 7 | 7 | ||
| 8 | # needed by wifi examples | ||
| 9 | export WIFI_NETWORK=x | ||
| 10 | export WIFI_PASSWORD=x | ||
| 11 | |||
| 12 | TARGET=$(rustc -vV | sed -n 's|host: ||p') | 8 | TARGET=$(rustc -vV | sed -n 's|host: ||p') |
| 13 | 9 | ||
| 14 | BUILD_EXTRA="" | 10 | BUILD_EXTRA="" |
