diff --git a/commands/scripts/minixsize.sh b/commands/scripts/minixsize.sh index 25f054a96..aff2fa35f 100644 --- 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 }'