]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c96faef) | patch
Add a way to disable the poor man's profiler
authorJean-Marc Lasgouttes <lasgouttes@lyx.org>
Fri, 9 Dec 2016 14:44:45 +0000 (15:44 +0100)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Fri, 9 Dec 2016 14:47:19 +0000 (15:47 +0100)
commitc139aef37965d01831ecea49c24d8fc5e5cbcd59
tree749c2a128a14715fa307d8449f8c89b7cace6811tree | snapshot
parentc96faefdae4b3b73dc6f02e244373ab17a117a6fcommit | diff
Add a way to disable the poor man's profiler

Just define DISABLE_PMPROF _before_ #including the header.
src/support/pmprof.h diff | blob | history
Repository for new features