diff options
Diffstat (limited to '.github/ci/build_mistral.sh')
-rw-r--r-- | .github/ci/build_mistral.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ci/build_mistral.sh b/.github/ci/build_mistral.sh index 7046462f..3c809b0e 100644 --- a/.github/ci/build_mistral.sh +++ b/.github/ci/build_mistral.sh @@ -19,6 +19,6 @@ function build_nextpnr { function run_archcheck { pushd build - ./nextpnr-mistral --mistral ${MISTRAL_PATH} --device 5CEBA2F17A7 --test + ./nextpnr-mistral --device 5CEBA2F17A7 --test popd } |