Add build support for 'gprof' profiling.

1 files changed, 4 insertions, 0 deletions

diff --git a/doc/developer-notes.md b/doc/developer-notes.md
index 9dc63a1e4b..d9b2790fb7 100644
--- a/doc/developer-notes.md
+++ b/doc/developer-notes.md
@@ -140,6 +140,10 @@ Development tips and tricks
 Run configure with the --enable-debug option, then make. Or run configure with
 CXXFLAGS="-g -ggdb -O0" or whatever debug flags you need.
 
+**compiling for gprof profiling**
+
+Run configure with the --enable-gprof option, then make.
+
 **debug.log**
 
 If the code is behaving strangely, take a look in the debug.log file in the data directory;