mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 15:24:43 +02:00
8242034: Remove JRE_HOME references
Reviewed-by: mbaesken
This commit is contained in:
parent
0bbdcdac5a
commit
c55e7d5a4a
2 changed files with 4 additions and 4 deletions
|
@ -1,5 +1,5 @@
|
|||
.\"t
|
||||
.\" Copyright (c) 1994, 2019, Oracle and/or its affiliates. All rights reserved.
|
||||
.\" Copyright (c) 1994, 2020, Oracle and/or its affiliates. All rights reserved.
|
||||
.\" DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
||||
.\"
|
||||
.\" This code is free software; you can redistribute it and/or modify it
|
||||
|
@ -1810,7 +1810,7 @@ in the information collected.
|
|||
.B \f[CB]settings=\f[R]\f[I]path\f[R]
|
||||
Specifies the path and name of the event settings file (of type JFC).
|
||||
By default, the \f[CB]default.jfc\f[R] file is used, which is located in
|
||||
\f[CB]JRE_HOME/lib/jfr\f[R].
|
||||
\f[CB]JAVA_HOME/lib/jfr\f[R].
|
||||
This default settings file collects a predefined set of information with
|
||||
low overhead, so it has minimal impact on performance and can be used
|
||||
with recordings that run continuously.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue