aboutsummaryrefslogtreecommitdiff
path: root/ci.sh
diff options
context:
space:
mode:
authorDario Nieuwenhuis <[email protected]>2021-03-18 02:03:43 +0100
committerDario Nieuwenhuis <[email protected]>2021-03-18 18:41:55 +0100
commit4b2fdd450e70270f346f302829fa493a67fe3ce1 (patch)
tree5df7429c2800cb4e2e0a8240ad472679efc478c0 /ci.sh
parentf43813c42018cc33e7cb07481d28192d14a6d9e9 (diff)
Allow running ci.sh from any dir
Diffstat (limited to 'ci.sh')
-rwxr-xr-xci.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/ci.sh b/ci.sh
index f1f6a52e5..d726db376 100755
--- a/ci.sh
+++ b/ci.sh
@@ -2,6 +2,8 @@
2 2
3set -euxo pipefail 3set -euxo pipefail
4 4
5cd $(dirname $0)
6
5# embassy std 7# embassy std
6(cd embassy-std-examples; cargo build) 8(cd embassy-std-examples; cargo build)
7 9