diff options
Diffstat (limited to '.github/ci/build_interchange.sh')
| -rwxr-xr-x | .github/ci/build_interchange.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ci/build_interchange.sh b/.github/ci/build_interchange.sh index 8168d519..674bd5c1 100755 --- a/.github/ci/build_interchange.sh +++ b/.github/ci/build_interchange.sh @@ -57,7 +57,7 @@ function build_nextpnr { build_capnp mkdir build pushd build - cmake .. -DARCH=fpga_interchange -DRAPIDWRIGHT_PATH=${RAPIDWRIGHT_PATH} -DPYTHON_INTERCHANGE_PATH=${PYTHON_INTERCHANGE_PATH} + cmake .. -DARCH=fpga_interchange -DRAPIDWRIGHT_PATH=${RAPIDWRIGHT_PATH} -DPYTHON_INTERCHANGE_PATH=${PYTHON_INTERCHANGE_PATH} -DWERROR=on make nextpnr-fpga_interchange -j`nproc` popd } |