Revert "Try --disable-jvm-feature-jvmti."

This reverts commit c62e6d0.
jspecify · Dec 17, 2024 · 858e3ea · 858e3ea
1 parent ea1d2b7
commit 858e3ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -168,7 +168,7 @@ jobs:
       platform: linux-x64
       debug-levels: '[ "debug" ]'
       gcc-major-version: '10'
-      configure-arguments: ${{ github.event.inputs.configure-arguments }} --disable-jvm-feature-jvmti
+      configure-arguments: ${{ github.event.inputs.configure-arguments }}
       make-arguments: ${{ github.event.inputs.make-arguments }}
     if: needs.prepare.outputs.linux-x64 == 'true'