mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 07:14:30 +02:00
8147918: Rename develop_log_is_enabled() to log_develop_is_enabled()
Reviewed-by: dholmes, brutisso
This commit is contained in:
parent
3cda485fe5
commit
4bfa63dd34
10 changed files with 29 additions and 29 deletions
|
@ -130,7 +130,7 @@ static const char* const pm_stats_hdr[] = {
|
|||
|
||||
void
|
||||
PSPromotionManager::print_taskqueue_stats() {
|
||||
if (!develop_log_is_enabled(Trace, gc, task, stats)) {
|
||||
if (!log_develop_is_enabled(Trace, gc, task, stats)) {
|
||||
return;
|
||||
}
|
||||
LogHandle(gc, task, stats) log;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue