From 0d83eeb194752bf0b712c225aad8353d1ebfb9a1 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Thu, 1 Oct 2009 17:45:14 +0000
Subject: [PATCH] slightly larger /usr needed

---
 tools/release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/release.sh b/tools/release.sh
index af90d3395..5c43c0f66 100755
--- 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 ]
-- 
2.44.0