diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-03-06 20:20:00 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-03-06 20:21:44 +0100 |
| commit | f13d756cdd9445d1478a70c5387df2a444045f6e (patch) | |
| tree | 7341afd96374583bfa50be05d713ea7f2ee2b539 /doc/developer-notes.md | |
| parent | 765a3ebb026826f3f4765f5bbc9ed77ee23d67ba (diff) | |
| parent | cfaac2a60f3ac63ae8deccb03d88bd559449b78c (diff) | |
Merge #12373: Build: Add build support for profiling.
cfaac2a60 Add build support for 'gprof' profiling. (murrayn)
Pull request description:
Support for profiling build: `./configure --enable-profiling`
Tree-SHA512: ea983cfce385f1893bb4ab7f94ac141b7d620951dc430da3bbc92ae1357fb05521eac689216e66dc87040171a8a57e76dd7ad98036e12a2896cfe5ab544347f0
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 278bf65792..a5468c3be3 100644 --- a/doc/developer-notes.md +++ b/doc/developer-notes.md @@ -142,6 +142,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; |