aboutsummaryrefslogtreecommitdiff
path: root/ci.sh
diff options
context:
space:
mode:
authorxoviat <[email protected]>2023-07-22 14:49:31 -0500
committerxoviat <[email protected]>2023-07-22 14:49:31 -0500
commitd42dff45de94522d7a5324773b352266a77f0c2c (patch)
treeb1d9e5d113405f60a211d046713f992a0f7c825b /ci.sh
parent0c49e6747c02e03fc6517969105cfdf20239fc64 (diff)
parent603ea9f31039f3c25a5314f53c2d8f8bcabe16af (diff)
Merge branch 'main' of https://github.com/embassy-rs/embassy into hrtim
Diffstat (limited to 'ci.sh')
-rwxr-xr-xci.sh4
1 files changed, 0 insertions, 4 deletions
diff --git a/ci.sh b/ci.sh
index ec6304f16..6c10a0630 100755
--- a/ci.sh
+++ b/ci.sh
@@ -5,10 +5,6 @@ set -euo pipefail
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_net_esp_hosted=debug,cyw43=info,cyw43_pio=info,smoltcp=info
7 7
8# needed by wifi examples
9export WIFI_NETWORK=x
10export WIFI_PASSWORD=x
11
12TARGET=$(rustc -vV | sed -n 's|host: ||p') 8TARGET=$(rustc -vV | sed -n 's|host: ||p')
13 9
14BUILD_EXTRA="" 10BUILD_EXTRA=""