2005-08-26 14:53:17 +02:00
|
|
|
#!/bin/sh
|
2005-08-30 12:20:39 +02:00
|
|
|
t=/usr/src/etc/binary_sizes
|
|
|
|
|
if [ "$1" = big ]
|
|
|
|
|
then t=$t.big
|
|
|
|
|
fi
|
2005-08-31 18:35:36 +02:00
|
|
|
chmem =250000 /usr/lib/* /usr/lib/i386/*
|
2005-08-30 12:20:39 +02:00
|
|
|
if [ -f $t ]
|
|
|
|
|
then cat "$t" | while read line
|
|
|
|
|
do awk '{ print "chmem =" $2 " " $1 }'
|
|
|
|
|
done | /bin/sh
|
|
|
|
|
fi
|
