mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-20 19:14:38 +02:00
8143931: Back out JDK-8140450
Reviewed-by: coleenp
This commit is contained in:
parent
7fe249f6db
commit
130ba226a1
14 changed files with 58 additions and 1080 deletions
|
@ -3115,12 +3115,6 @@ public:
|
|||
"exceptions (0 means all)") \
|
||||
range(0, max_jint/2) \
|
||||
\
|
||||
develop(bool, TraceStackWalk, false, \
|
||||
"Trace stack walking") \
|
||||
\
|
||||
product(bool, MemberNameInStackFrame, true, \
|
||||
"Use MemberName in StackFrame") \
|
||||
\
|
||||
/* notice: the max range value here is max_jint, not max_intx */ \
|
||||
/* because of overflow issue */ \
|
||||
NOT_EMBEDDED(diagnostic(intx, GuaranteedSafepointInterval, 1000, \
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue