From 4b44e85b9b4b35c6075a8920e50ac4e1cac35072 Mon Sep 17 00:00:00 2001 From: Juraj Linkeš Date: Thu, 28 May 2020 08:52:21 +0200 Subject: Remove hugepage dirs when killing dpdk MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit There could be directories under /dev/hugepages/ so remove those as well. Change-Id: I8ecdde159b8e0049460d0bcdc8b1a2c85b1ed25f Signed-off-by: Juraj Linkeš (cherry picked from commit 292604dff945080639021fb4ffe524c6aed3ff07) --- resources/libraries/bash/function/dpdk.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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!" } -- cgit 1.2.3-korg