Fix umount issue on Ubuntu20.04 27/272427/1
authorbiao716.wang <biao716.wang@samsung.com>
Wed, 16 Mar 2022 12:04:05 +0000 (21:04 +0900)
committerbiao716.wang <biao716.wang@samsung.com>
Wed, 16 Mar 2022 12:07:31 +0000 (21:07 +0900)
commitde111f2f1c4470cea8d13548fe33e02548afe323
tree246d73025f69fdc0b8b7107e69b8e83a8b5b0a62
parent571146f47c7f218738add34ebf8bb90bb99670b0
Fix umount issue on Ubuntu20.04
When update Ubuntu version to 20.04, After first  gbs build, for some kind reason
During the second gbs build , it will have umount issue:
error: there're mounted directories to build root. Please unmount them manually to avoid being deleted unexpectly:
    / ==> ~/GBS-ROOT/XXX/local/BUILD-ROOTS/scratch.armv7l.0/proc/sys/fs/binfmt_misc
So using umount option -l for lazy umount can fix this issue.
Change-Id: I5f4ea680fefcc38cd9dce30dfa458710c086a399
Signed-off-by: biao716.wang <biao716.wang@samsung.com>
common_functions