diff options
| -rw-r--r-- | ci/install.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ci/install.sh b/ci/install.sh index e41f9c4c..3c419211 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,7 +1,9 @@ set -euxo pipefail main() { - : + if [ $TARGET != x86_64-unknown-linux-gnu ]; then + rustup target add $TARGET + fi } main |