... I grep'ed through most of the files under php-src/, but couldn't
find any mention of any profile tools/setup.
Other than running oprofile(Linux), is there any support in the build
process or Makefiles for generating gprof-like profiles ?
TIA,
Rolland
