Preparing code for mdprof profiling (The Mercury User’s Guide)

Next: Optimization options, Previous: Preparing code for mdb debugging, Up: Invocation [Contents][Index]

11.15 Preparing code for mdprof profiling

--profile-optimized
--profile-optimised: Do not disable optimizations that can distort deep profiles.