Hi, 

> One quick hack would be to have config define PROF in addition to
> GPROF.  A more extensive change would be to change current uses of
> PROF to GPROF.
> 
> I favor the latter approach, as the profile instrumentation we emit is
> for "gprof" not "prof".  If we hijack "PROF" for gprof, what should be
> used if someone decides to contribute support for the traditional flat
> "prof" profiling in the future.

I have not much to say, just that I second that :-)

  Guenther