From 7104e53fe47fd549f35b2a1eb76e6631a73acbdf Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Thu, 24 Jan 2008 15:49:09 +0000
Subject: [PATCH] Removing -l option for umount of the loop device.  Daniel
 says that the -l option does not deallocate the actual loop device, which is
 why we were running out of those on the build machine.

---
 build.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.common b/build.common
index 52c1887e..23d282d0 100644
--- a/build.common
+++ b/build.common
@@ -636,7 +636,7 @@ function pl_make_image() {
     (cd $root && tar cpf - .) | (cd $tmp && tar xpf -)
 
     # Unmount it
-    umount -l $tmp
+    umount $tmp
     rmdir $tmp
     trap - ERR INT
 }
-- 
2.47.0