diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2017-07-03 13:11:38 -0400 |
|---|---|---|
| committer | Dave Wallace <dwallacelf@gmail.com> | 2017-07-17 21:00:52 -0400 |
| commit | d756b35032cdf7fdaaf0d6611388a54d32d72e92 (patch) | |
| tree | 21c9626d87fde1c935755862811b339dc7338ad1 /src/vpp.am | |
| parent | 365a2b851024080c2f8f59bce2b61f243a85c254 (diff) | |
Fix unlinking of /dev/shm files.
- api-segment prefix not used when unlinking shm files
- unlink root region on exit if no clients referenced
- stale reference to freed segment name
- don't add fake client to /db unless CLIB_DEBUG > 2
- turn off the gmond plugin
- clean up unused vars in vpp/api
Change-Id: I66451fcfd6ee64a12466c2d6c209050e3cdb74b7
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vpp.am')
| -rw-r--r-- | src/vpp.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/vpp.am b/src/vpp.am index 614bd26abda..10a4e311252 100644 --- a/src/vpp.am +++ b/src/vpp.am @@ -33,11 +33,11 @@ if WITH_APICLI vpp/api/plugin.h endif -# comment out to disable stats upload to gmond +# uncomment to enable stats upload to gmond +# bin_vpp_SOURCES += \ +# vpp/api/gmon.c bin_vpp_CFLAGS = @APICLI@ -bin_vpp_SOURCES += \ - vpp/api/gmon.c nobase_include_HEADERS += \ vpp/api/vpe_all_api_h.h \ |