From 476b30fb20306057d1848fa78a4c4964faa7af72 Mon Sep 17 00:00:00 2001
From: Adrien Bourmault <neox@os-k.eu>
Date: Sat, 9 Mar 2019 20:44:36 +0100
Subject: [PATCH] Enhancing speed for compilation

---
 boot/grub/umount.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/boot/grub/umount.sh b/boot/grub/umount.sh
index 78bfa66..cf8035b 100755
--- a/boot/grub/umount.sh
+++ b/boot/grub/umount.sh
@@ -29,7 +29,8 @@ CL3='\033[0m'
 NC='\033[1;37m'
 
 set -e #exit if error
-sleep 3
+#sleep 3
+sync
 echo ${CL2}[umount.sh]${NC} Unmounting volume... 		\(umount\)${CL3}
 sudo umount $1
 echo ${CL2}[umount.sh]${NC} Unmounting image... 		\(losetup\)${CL3}