diff options
Diffstat (limited to '.github/ci/build_mistral.sh')
-rw-r--r-- | .github/ci/build_mistral.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/ci/build_mistral.sh b/.github/ci/build_mistral.sh index 3c809b0e..807c6206 100644 --- a/.github/ci/build_mistral.sh +++ b/.github/ci/build_mistral.sh @@ -1,5 +1,7 @@ #!/bin/bash +export MISTRAL_PATH=${DEPS_PATH}/mistral + function get_dependencies { # Fetch mistral mkdir -p ${MISTRAL_PATH} @@ -17,6 +19,10 @@ function build_nextpnr { popd } +function run_tests { + : +} + function run_archcheck { pushd build ./nextpnr-mistral --device 5CEBA2F17A7 --test |