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:53 +0000 |
commit | 4b44e85b9b4b35c6075a8920e50ac4e1cac35072 (patch) | |
tree | 1ef0d124ee2ef32674df70c93f24948529385f1c | |
parent | e57e76258251bf5e3f6fc8440a06417e512d8fc1 (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>
(cherry picked from commit 292604dff945080639021fb4ffe524c6aed3ff07)
-rw-r--r-- | resources/libraries/bash/function/dpdk.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/libraries/bash/function/dpdk.sh b/resources/libraries/bash/function/dpdk.sh index da46c6d49c..72c1e5ce17 100644 --- a/resources/libraries/bash/function/dpdk.sh +++ b/resources/libraries/bash/function/dpdk.sh @@ -206,7 +206,7 @@ function dpdk_kill () { fi # Remove hugepages - sudo rm -f /dev/hugepages/* || die "Removing hugepages failed!" + sudo rm -rf /dev/hugepages/* || die "Removing hugepages failed!" } |