diff options
| author |   Juraj Linkeš <juraj.linkes@pantheon.tech> | 2020-05-28 08:52:21 +0200 |
|---|---|---|
| committer |   Jan Gelety <jgelety@cisco.com> | 2020-05-28 15:18:34 +0000 |
| commit | 292604dff945080639021fb4ffe524c6aed3ff07 (patch) | |
| tree | 03b61d1460db2edd60ab1b5448711203ccca3fb6 /resources/tools | |
| parent | d91be0977ab077324d95d5a50702d4cb244b686a (diff) | |
Remove hugepage dirs when killing dpdk
There could be directories under /dev/hugepages/ so remove those as
well.
Change-Id: I8ecdde159b8e0049460d0bcdc8b1a2c85b1ed25f
Signed-off-by: Juraj Linkeš <juraj.linkes@pantheon.tech>
Diffstat (limited to 'resources/tools')
0 files changed, 0 insertions, 0 deletions