From 858e3eadb8e4d8e403ee5d7a225de5260530d665 Mon Sep 17 00:00:00 2001
From: Werner Dietl <wdietl@gmail.com>
Date: Tue, 17 Dec 2024 17:14:04 -0500
Subject: [PATCH] Revert "Try --disable-jvm-feature-jvmti."

This reverts commit c62e6d0b41b2d2228536253c508516b5fcf2d7fb.
---
 .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 8cc58b537c1..b2e81d0ad84 100644
--- 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'