aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorWladimir J. van der Laan <laanwj@gmail.com>2018-03-06 20:20:00 +0100
committerWladimir J. van der Laan <laanwj@gmail.com>2018-03-06 20:21:44 +0100
commitf13d756cdd9445d1478a70c5387df2a444045f6e (patch)
tree7341afd96374583bfa50be05d713ea7f2ee2b539 /doc
parent765a3ebb026826f3f4765f5bbc9ed77ee23d67ba (diff)
parentcfaac2a60f3ac63ae8deccb03d88bd559449b78c (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')
-rw-r--r--doc/developer-notes.md4
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;