Dave Barach 4d1f9564da Delete shared memory segment files when vpp starts ...

Should have been done this way years ago. My bad.

Change-Id: Ic7bf937fb6c4dc5c1b6ae64f2ecf8608b62e7039
Signed-off-by: Dave Barach <dave@barachs.net>
(cherry picked from commit b2204671dad112e3195771854b4ef00bb388d4e6)

2018-12-12 14:02:39 +00:00

..

deb/debian

Delete shared memory segment files when vpp starts

2018-12-12 14:02:39 +00:00

scripts

Always use 'lib' instead of 'lib64'

2018-09-12 16:38:59 +00:00

autowank

…

build-config.mk

use system provided ccache links

2018-03-15 02:09:05 +01:00

build-config.mk.README

License text cleanup

2018-03-12 15:08:44 +00:00

config.site

License text cleanup

2018-03-12 15:08:44 +00:00

copyimg

License text cleanup

2018-03-12 15:08:44 +00:00

Makefile

allow specifying number of concurrent jobs

2018-03-24 15:19:07 +00:00

platforms.mk

…

vagrant

Move vagrant stuff to extras/

2017-04-20 12:57:33 +00:00