translation.noprofopt

  • name: noprofopt
  • description: Don’t use profile based optimization
  • command-line: –no-profopt
  • option type: boolean option
  • default: False