From c62e6d0b41b2d2228536253c508516b5fcf2d7fb Mon Sep 17 00:00:00 2001
From: Chris Povirk <cpovirk@google.com>
Date: Mon, 7 Oct 2024 11:09:03 -0400
Subject: [PATCH] Try --disable-jvm-feature-jvmti.

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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'