Minor patch: increase size of root partition for minimal release, eve very small...

diff --git a/tools/release.sh b/tools/release.sh
index 7815683db260936310f9692bd4b584139dbfa533..f90e5fd78dd29398a72c7457fe8c177632cf2a59 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -174,7 +174,7 @@ do
                RELEASEDIR=/usr/r-staging
                RELEASEPACKAGE=${RELEASEDIR}/usr/install/packages
                RELEASEPACKAGESOURCES=${RELEASEDIR}/usr/install/package-sources
-               ROOTKB=4096
+               ROOTKB=4608
                [ ! "$USRMB" ] && USRMB=22
                ;;
        M)      MAKEMAP=1