sleep before unmounting, to avoid race condition

diff --git a/install-extras.sh b/install-extras.sh
index 2c966ade8f4e19d66f38380214f27a432aa26faa..20ecf69f27756128ad329a3309da05da9fa65676 100755 (executable)
--- a/install-extras.sh
+++ b/install-extras.sh
@@ -136,6 +136,9 @@ cp -vr $ISOTMP/* $DEVTMP/source/ || true
 ### 
 
 
 ### 
 
 

+sync
+sleep 3
+

 umount $DEVTMP
 umount $ISOTMP
 
 umount $DEVTMP
 umount $ISOTMP