diff options
| author |   Dave Barach <dave@barachs.net> | 2018-09-10 12:31:15 -0400 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2018-10-22 12:02:04 +0000 |
| commit | 4d1a866aff6ceb03025990b6e60b42faf09ef486 (patch) | |
| tree | bec495932876d9649f26179b4c24b6938be43f38 /src/vppinfra/CMakeLists.txt | |
| parent | 115a3ac59a16f9dcfee92eaecc79cd1fa3320e29 (diff) | |
X86_64 perf counter plugin
Change-Id: Ie5a00c15ee9536cc61afab57f6cadc1aa1972f3c
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra/CMakeLists.txt')
| -rw-r--r-- | src/vppinfra/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vppinfra/CMakeLists.txt b/src/vppinfra/CMakeLists.txt index 7103d600780..26368493382 100644 --- a/src/vppinfra/CMakeLists.txt +++ b/src/vppinfra/CMakeLists.txt @@ -136,6 +136,7 @@ set(VPPINFRA_HEADERS os.h pipeline.h pool.h + pmc.h ptclosure.h random_buffer.h random.h |