diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/compilers.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/compilers.yml b/.github/workflows/compilers.yml index f28b707f23..5aa3f29726 100644 --- a/.github/workflows/compilers.yml +++ b/.github/workflows/compilers.yml @@ -109,6 +109,8 @@ jobs: shared: disable # check: true + - { name: ext/Setup } + # - { name: aarch64-linux-gnu, crosshost: aarch64-linux-gnu, container: crossbuild-essential-arm64 } # - { name: arm-linux-gnueabi, crosshost: arm-linux-gnueabi } # - { name: arm-linux-gnueabihf, crosshost: arm-linux-gnueabihf } @@ -248,6 +250,9 @@ jobs: matrix.entry.crosshost || '"${default_cc}${append_cc:+ $append_cc}"' }} --${{ matrix.entry.shared || 'enable' }}-shared + - name: Add to ext/Setup # statically link just the etc extension + run: mkdir ext && echo etc >> ext/Setup + if: ${{ matrix.entry.name == 'ext/Setup' }} - run: make extract-extlibs - run: make incs - run: make showflags |