diff options
Diffstat (limited to '.github/ci/build_interchange.sh')
| -rwxr-xr-x | .github/ci/build_interchange.sh | 4 |
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 } |