From 1748d60179c340d00113ae50ac48b80d9afc1fca Mon Sep 17 00:00:00 2001 From: wangbiao Date: Mon, 19 Aug 2024 16:54:30 +0900 Subject: [PATCH] umount with -f option Change-Id: Ia1f17e5595ab0ad8a3b1ce7edf319b040cbdbb20 Signed-off-by: wangbiao --- common_functions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common_functions b/common_functions index 4168b44..2d537b2 100755 --- a/common_functions +++ b/common_functions @@ -158,7 +158,7 @@ buildroot_umount() { # XXX: use stat -f /dev/pts/ -c %T to check whether it's mounted and not suppress errors? local LOOP_CNT=1 while [ $LOOP_CNT -le 20 ] ; do - umount -n "$BUILD_ROOT/$d" 2>/dev/null + umount -n -l -f "$BUILD_ROOT/$d" 2>/dev/null if test $? -ne 0; then break fi -- 2.34.1