diff options
Diffstat (limited to 'doc/developer-notes.md')
| -rw-r--r-- | doc/developer-notes.md | 4 |
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; |