From 093b2f1004c414f1828c72fb4d17c1920c898447 Mon Sep 17 00:00:00 2001 From: Minh Hung Tran Date: Sat, 20 Jan 2024 06:16:03 +0100 Subject: [PATCH] Add safe option to mount and unmount --- build.sh | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/build.sh b/build.sh index d20c696..cfb0f55 100755 --- a/build.sh +++ b/build.sh @@ -17,8 +17,8 @@ error() { fi log "Unmounting /dev and /run from chroot" - umount $CHROOT/dev - umount $CHROOT/run + umount -l $CHROOT/dev + umount -l $CHROOT/run log "Done" exit "${code}" @@ -42,8 +42,8 @@ fi if $(findmnt -rno SOURCE,TARGET "$CHROOT/dev" > /dev/null); then log "Unmounting /dev and /run from chroot" - umount $CHROOT/dev - umount $CHROOT/run + umount -l $CHROOT/dev + umount -l $CHROOT/run log "Done" fi @@ -126,8 +126,8 @@ icpc_build() { log "Done" log "Mount /dev and /run to chroot" - mount --bind /dev $CHROOT/dev - mount --bind /run $CHROOT/run + mount --make-rslave --bind /dev $CHROOT/dev + mount --make-rslave --bind /run $CHROOT/run log "Done" log "Copy scripts and config to chroot" @@ -153,8 +153,8 @@ icpc_build() { log "Done" log "Unmounting /dev and /run from chroot" - umount $CHROOT/dev - umount $CHROOT/run + umount -l $CHROOT/dev + umount -l $CHROOT/run log "Done" rm -rf $ICPC_ISO_FILENAME