diff options
Diffstat (limited to 'scripts/boot')
| -rwxr-xr-x | scripts/boot/9990-misc-helpers.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/boot/9990-misc-helpers.sh b/scripts/boot/9990-misc-helpers.sh index 117876f..4429c33 100755 --- a/scripts/boot/9990-misc-helpers.sh +++ b/scripts/boot/9990-misc-helpers.sh @@ -911,7 +911,9 @@ probe_for_file_name () then echo ${ret} else + # unmount and remove mountpoint umount ${backing} > /dev/null 2>&1 || true + rmdir ${backing} > /dev/null 2>&1 || true fi } |