diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 057176fba55..3366885ee58 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -155,7 +155,7 @@ jobs: platform: linux-x64 debug-levels: '[ "debug" ]' gcc-major-version: '10' - configure-arguments: ${{ github.event.inputs.configure-arguments }} + configure-arguments: ${{ github.event.inputs.configure-arguments }} --disable-jvm-feature-jvmti make-arguments: ${{ github.event.inputs.make-arguments }} if: needs.select.outputs.linux-x64 == 'true'