diff options
| author | Daniel Baumann <daniel@debian.org> | 2010-05-21 08:40:03 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:17:09 +0100 |
| commit | 34798918306e7aa5d080e274a5d58c8b5fa983e8 (patch) | |
| tree | 469ebca21e91e1045906659d93ec50004722939b | |
| parent | 8424ad261b3a6afb79b2e1e7a375733ceadd83b0 (diff) | |
| download | live-build-34798918306e7aa5d080e274a5d58c8b5fa983e8.zip live-build-34798918306e7aa5d080e274a5d58c8b5fa983e8.tar.gz | |
Also (try) unmounting /dev/shm in exit function.
| -rwxr-xr-x | functions/exit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/functions/exit.sh b/functions/exit.sh index b32fd00..338f285 100755 --- a/functions/exit.sh +++ b/functions/exit.sh @@ -28,7 +28,7 @@ Exit () umount ${DIRECTORY} > /dev/null 2>&1 || true done else - for DIRECTORY in /dev/pts /dev /proc /selinux /sys + for DIRECTORY in /dev/shm /dev/pts /dev /proc /selinux /sys do umount -f chroot/${DIRECTORY} > /dev/null 2>&1 || true done |