Quoting J.T. Conklin,

> 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 think the latter is the best, it may be a little more work, but
at least it cleans things up.

I can't think of any big problems with this, and apparently, neither can
other people, so.. let's do it?

- Frank