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 /build-data/packages/vpp-platform-scripts.mk | |
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 'build-data/packages/vpp-platform-scripts.mk')
0 files changed, 0 insertions, 0 deletions