diff options
| -rw-r--r-- | README-maintainer | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/README-maintainer b/README-maintainer index 93124ab8..3ffa7814 100644 --- a/README-maintainer +++ b/README-maintainer @@ -10,6 +10,13 @@ Debugging: ./configure CFLAGS="-g" CXXFLAGS="-g" --enable-werror --disable-shared +Profiling: + +./configure CFLAGS="-g -pg" CXXFLAGS="-g -pg" LDFLAGS="-pg" \ + --enable-werror --disable-shared + +Then run `gprof gmon.out`. Note that gmon.out is not cumulative. + Memory checks: ./configure CFLAGS="-fsanitize=address -fsanitize=undefined -g" \ |