diff options
| author | murrayn <github@nesbitt.ca> | 2018-02-06 20:58:41 -0800 |
|---|---|---|
| committer | murrayn <github@nesbitt.ca> | 2018-02-26 20:54:16 -0800 |
| commit | cfaac2a60f3ac63ae8deccb03d88bd559449b78c (patch) | |
| tree | 222cced02251afee94609b5fd22e2de2930e50f2 /doc/developer-notes.md | |
| parent | d32528e733f2711b34dbc41fbb2bb0f153bf7e9a (diff) | |
Add build support for 'gprof' profiling.
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; |