diff options
Diffstat (limited to '.github/ci')
-rwxr-xr-x | .github/ci/build_interchange.sh | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/.github/ci/build_interchange.sh b/.github/ci/build_interchange.sh index dedc01e2..56fd3d57 100755 --- a/.github/ci/build_interchange.sh +++ b/.github/ci/build_interchange.sh @@ -42,12 +42,13 @@ function get_dependencies { popd # Install prjoxide - curl --proto '=https' -sSf https://sh.rustup.rs | sh -s -- -y - git clone --recursive https://github.com/gatecat/prjoxide.git - pushd prjoxide/libprjoxide - PATH=$PATH:$HOME/.cargo/bin cargo install --path prjoxide --all-features - popd - + if [ ${DEVICE} == "LIFCL-17" ]; then + curl --proto '=https' -sSf https://sh.rustup.rs | sh -s -- -y + git clone --recursive https://github.com/gatecat/prjoxide.git + pushd prjoxide/libprjoxide + PATH=$PATH:$HOME/.cargo/bin cargo install --path prjoxide --all-features + popd + fi } function build_nextpnr { |