Compiler a bit bigger

diff --git a/commands/scripts/minixsize.sh b/commands/scripts/minixsize.sh
index 25f054a96fae87b441b4fdfa87b03cbe3323e5a3..aff2fa35f0e7d6a8bac80dc42fd345999d0bcce8 100644 (file)
--- a/commands/scripts/minixsize.sh
+++ b/commands/scripts/minixsize.sh
@@ -3,7 +3,7 @@ t=/usr/src/etc/binary_sizes
 if [ "$1" = big ]
 then t=$t.big
 fi
-chmem =200000 /usr/lib/* /usr/lib/i386/*
+chmem =250000 /usr/lib/* /usr/lib/i386/*
 if [ -f $t ]
 then   cat "$t" | while read line
        do      awk '{ print "chmem =" $2 " " $1 }'