From 697c1ec143467b4d40f888bf58cf5ae7d2f7f7bb Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Tue, 4 Apr 2006 09:47:19 +0000
Subject: [PATCH] *** empty log message ***

---
 tools/release.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/release.sh b/tools/release.sh
index 7107d4089..18692308e 100755
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -213,9 +213,9 @@ fi
 
 echo $TMPDISK3 >$TD3
 
-umount $TMPDISK
-umount $TMPDISK2
-umount $TMPDISK3
+umount $TMPDISK || true
+umount $TMPDISK2 || true
+umount $TMPDISK3 || true
 
 if [ $TMPDISK = $TMPDISK2  -o $TMPDISK = $TMPDISK3 -o $TMPDISK2 = $TMPDISK3 ]
 then
-- 
2.44.0