equal
deleted
inserted
replaced
1132 log_identity(xtty); |
1132 log_identity(xtty); |
1133 xtty->stamp(); |
1133 xtty->stamp(); |
1134 xtty->end_elem(); |
1134 xtty->end_elem(); |
1135 } |
1135 } |
1136 } |
1136 } |
|
1137 |
|
1138 const char *state_msg = _state == zombie ? "made zombie" : "made not entrant"; |
|
1139 CompileTask::print_ul(this, state_msg); |
1137 if (PrintCompilation && _state != unloaded) { |
1140 if (PrintCompilation && _state != unloaded) { |
1138 print_on(tty, _state == zombie ? "made zombie" : "made not entrant"); |
1141 print_on(tty, state_msg); |
1139 } |
1142 } |
1140 } |
1143 } |
1141 |
1144 |
1142 /** |
1145 /** |
1143 * Common functionality for both make_not_entrant and make_zombie |
1146 * Common functionality for both make_not_entrant and make_zombie |