From fd38e789572c044e7d26d26379fa00f2adefdb03 Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Mon, 5 Jul 2021 02:06:11 +0200 Subject: [PATCH] Remove old unused ci.sh --- ci.sh | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100755 ci.sh diff --git a/ci.sh b/ci.sh deleted file mode 100755 index f43ea5e1..00000000 --- a/ci.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash - -set -euxo pipefail - -# build for std -(cd embassy-net; cargo build --no-default-features --features log,medium-ethernet,tcp) -(cd embassy-net; cargo build --no-default-features --features log,medium-ethernet,tcp,dhcpv4) -(cd embassy-net; cargo build --no-default-features --features log,medium-ip,tcp) -(cd embassy-net; cargo build --no-default-features --features log,medium-ethernet,medium-ip,tcp,dhcpv4) - -# build for embedded -(cd embassy-net; cargo build --target thumbv7em-none-eabi --no-default-features --features log,medium-ethernet,medium-ip,tcp,dhcpv4) -(cd embassy-net; cargo build --target thumbv7em-none-eabi --no-default-features --features defmt,smoltcp/defmt,medium-ethernet,medium-ip,tcp,dhcpv4) - -# build examples -(cd embassy-net-examples; cargo build)