translation.jit_profiler

• name: jit_profiler
• description: integrate profiler support into the JIT
• command-line: –translation-jit_profiler
• option type: choice option
• possible values:
  • off
  • oprofile
• default: off

Integrate profiler support into the JIT