diff options
| author | Yuri Kunde Schlesner <yuriks@yuriks.net> | 2015-08-24 18:30:11 -0700 |
|---|---|---|
| committer | Yuri Kunde Schlesner <yuriks@yuriks.net> | 2015-08-24 18:30:11 -0700 |
| commit | ac0104b8b0584023cfbd7a4800f1ca1db890188f (patch) | |
| tree | a1651d48113413e2de1e6e309362511b1ff7ffa8 /src/common/CMakeLists.txt | |
| parent | afd45d1d7f444c25ad7d8166e49170ff90aac76d (diff) | |
| parent | 0fcabd2b11a5b1d4d16f6f6bdf1efd54d2c45237 (diff) | |
Merge pull request #1048 from yuriks/microprofile
Integrate the MicroProfile profiling library
Diffstat (limited to 'src/common/CMakeLists.txt')
| -rw-r--r-- | src/common/CMakeLists.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/common/CMakeLists.txt b/src/common/CMakeLists.txt index e743a026d..7f3712efa 100644 --- a/src/common/CMakeLists.txt +++ b/src/common/CMakeLists.txt @@ -11,6 +11,7 @@ set(SRCS logging/text_formatter.cpp logging/backend.cpp memory_util.cpp + microprofile.cpp misc.cpp profiler.cpp scm_rev.cpp @@ -43,6 +44,8 @@ set(HEADERS make_unique.h math_util.h memory_util.h + microprofile.h + microprofileui.h platform.h profiler.h profiler_reporting.h |