slightly larger /usr needed

diff --git a/tools/release.sh b/tools/release.sh
index af90d3395f6c0d67af2cd2fb2364675f7e0fd285..5c43c0f6675489a41f367097d33afb7dc1c03cbb 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -161,7 +161,7 @@ do
 done
 
 if [ ! "$USRMB" ]
-then   USRMB=570
+then   USRMB=600
 fi
 
 if [ $PACKAGES -ne 0 ]