aboutsummaryrefslogtreecommitdiff
path: root/ci.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci.sh')
-rwxr-xr-xci.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci.sh b/ci.sh
index 6e320e4d1..f2d461c1a 100755
--- a/ci.sh
+++ b/ci.sh
@@ -19,7 +19,7 @@ fi
19TARGET=$(rustc -vV | sed -n 's|host: ||p') 19TARGET=$(rustc -vV | sed -n 's|host: ||p')
20 20
21BUILD_EXTRA="" 21BUILD_EXTRA=""
22if [ $TARGET = "x86_64-unknown-linux-gnu" ]; then 22if [ $TARGET = "x86_64-unknown-linux-gnu" ] || [ $TARGET = "aarch64-unknown-linux-gnu" ]; then
23 BUILD_EXTRA="--- build --release --manifest-path examples/std/Cargo.toml --target $TARGET --artifact-dir out/examples/std" 23 BUILD_EXTRA="--- build --release --manifest-path examples/std/Cargo.toml --target $TARGET --artifact-dir out/examples/std"
24fi 24fi
25 25