diff options
Diffstat (limited to 'ci.sh')
| -rwxr-xr-x | ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -19,7 +19,7 @@ fi | |||
| 19 | TARGET=$(rustc -vV | sed -n 's|host: ||p') | 19 | TARGET=$(rustc -vV | sed -n 's|host: ||p') |
| 20 | 20 | ||
| 21 | BUILD_EXTRA="" | 21 | BUILD_EXTRA="" |
| 22 | if [ $TARGET = "x86_64-unknown-linux-gnu" ]; then | 22 | if [ $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" |
| 24 | fi | 24 | fi |
| 25 | 25 | ||
