From 877203831c6bec9e43d6792d27dd414e1aaddab0 Mon Sep 17 00:00:00 2001
From: Dennis ten Hoove <dennistenhoove@protonmail.com>
Date: Thu, 29 Feb 2024 21:28:37 +0100
Subject: [PATCH] Lazy umount

---
 arkdep-build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/arkdep-build b/arkdep-build
index 2324a62..99bf59e 100755
--- a/arkdep-build
+++ b/arkdep-build
@@ -40,7 +40,7 @@ cleanup_and_quit () {
 		exit 1
 	fi
 
-	umount $workdir
+	umount -l $workdir
 
 	btrfs property set -ts $workdir ro false
 	btrfs property set -ts $workdir/etc ro false
@@ -215,7 +215,7 @@ if [[ $type == 'archlinux' ]]; then
 		arch-chroot $workdir pacman -S --noconfirm ${packages[*]} || cleanup_and_quit 'Failed to install base packages'
 
 		# Unmount pacman cache
-		umount $workdir/var/cache/pacman/pkg
+		umount -l $workdir/var/cache/pacman/pkg
 	fi
 
 	# Run post-install script if exists