1 files changed, 2 insertions, 2 deletions
diff --git a/.github/ci/build_interchange.sh b/.github/ci/build_interchange.sh
index d20dba67..1d2ee9dc 100755
--- a/.github/ci/build_interchange.sh
+++ b/.github/ci/build_interchange.sh
@@ -19,10 +19,10 @@ function build_capnp {
 
 # Install latest Yosys
 function build_yosys {
-    git clone https://github.com/YosysHQ/yosys.git
+    DESTDIR=`pwd`/.yosys
     pushd yosys
     make -j`nproc`
-    sudo make install
+    sudo make install DESTDIR=$DESTDIR
     popd
 }