diff options
| author | Gaudenz Steinlin <gaudenz@debian.org> | 2012-09-26 13:38:39 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2012-09-26 13:38:39 +0200 |
| commit | 2d6f480a16a5af6d8a1599716ca8d859b1e69ee4 (patch) | |
| tree | 0f9a30b076f984154a8817e829b15200d00217a5 /scripts/boot | |
| parent | b7f0254874e284b1370f00056a72541fccccd07e (diff) | |
| download | live-boot-2d6f480a16a5af6d8a1599716ca8d859b1e69ee4.tar.gz live-boot-2d6f480a16a5af6d8a1599716ca8d859b1e69ee4.zip | |
Removing mountpoint if no persistence layer is found on a device.
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 } |