7.2.6 ProfileOutput

Syntax: ProfileOutput = output
Default: no default

Specify the profile output file in case profiling is enabled.