aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xci.sh16
1 files changed, 0 insertions, 16 deletions
diff --git a/ci.sh b/ci.sh
deleted file mode 100755
index f43ea5e1a..000000000
--- a/ci.sh
+++ /dev/null
@@ -1,16 +0,0 @@
1#!/bin/bash
2
3set -euxo pipefail
4
5# build for std
6(cd embassy-net; cargo build --no-default-features --features log,medium-ethernet,tcp)
7(cd embassy-net; cargo build --no-default-features --features log,medium-ethernet,tcp,dhcpv4)
8(cd embassy-net; cargo build --no-default-features --features log,medium-ip,tcp)
9(cd embassy-net; cargo build --no-default-features --features log,medium-ethernet,medium-ip,tcp,dhcpv4)
10
11# build for embedded
12(cd embassy-net; cargo build --target thumbv7em-none-eabi --no-default-features --features log,medium-ethernet,medium-ip,tcp,dhcpv4)
13(cd embassy-net; cargo build --target thumbv7em-none-eabi --no-default-features --features defmt,smoltcp/defmt,medium-ethernet,medium-ip,tcp,dhcpv4)
14
15# build examples
16(cd embassy-net-examples; cargo build)