From: Ben Gras Date: Thu, 1 Oct 2009 17:45:14 +0000 (+0000) Subject: slightly larger /usr needed X-Git-Tag: v3.1.5~44 X-Git-Url: http://zhaoyanbai.com/repos/man.dnssec-keygen.html?a=commitdiff_plain;h=0d83eeb194752bf0b712c225aad8353d1ebfb9a1;p=minix.git slightly larger /usr needed --- 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 ]