ci/win: mingw64 mingw32-make
This commit is contained in:
parent
0fdffe624d
commit
e30cbee332
|
|
@ -103,9 +103,9 @@ jobs:
|
||||||
wrap() { echo "::group::$@"; "$@"; echo '::endgroup::'; }
|
wrap() { echo "::group::$@"; "$@"; echo '::endgroup::'; }
|
||||||
wrap ./autoconf.sh
|
wrap ./autoconf.sh
|
||||||
wrap ./configure
|
wrap ./configure
|
||||||
wrap make install
|
wrap mingw32-make install
|
||||||
which iverilog
|
which iverilog
|
||||||
wrap make check
|
wrap mingw32-make check
|
||||||
|
|
||||||
- name: 🟪 Build and check
|
- name: 🟪 Build and check
|
||||||
if: matrix.build == 'pkgbuild'
|
if: matrix.build == 'pkgbuild'
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue