*** empty log message ***

diff --git a/tools/release.sh b/tools/release.sh
index 7107d4089b1b864bce237d7f668640a96bf7389c..18692308e62ebf453093bcd191eba2135542072d 100755 (executable)
--- 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