Add java.instrument to jlink dev builds (#5210)

This commit is contained in:
Chris Stewart 2023-08-28 11:34:55 -05:00 committed by GitHub
parent aa02683db9
commit a18dc6c55f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -101,7 +101,7 @@ object CommonSettings {
)
val dev = {
//needed for visualvm to profile/debug apps
Vector("jdk.management.agent")
Vector("jdk.management.agent", "java.instrument")
}
if (!isCI) base ++ dev
else base