2005-08-26 14:53:17 +02:00
|
|
|
#!/bin/sh
|
2005-09-12 14:53:17 +02:00
|
|
|
|
2006-08-17 16:03:06 +02:00
|
|
|
PATH=/bin:/sbin:/usr/bin:/usr/sbin
|
|
|
|
|
2005-09-30 13:52:53 +02:00
|
|
|
t=/etc/binary_sizes
|
2005-09-12 14:53:17 +02:00
|
|
|
|
|
|
|
if [ "$#" -ne 1 ]
|
2006-08-15 17:56:09 +02:00
|
|
|
then echo "Usage: $0 <big|normal|xxl>"
|
2005-09-12 14:53:17 +02:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2006-03-03 13:44:22 +01:00
|
|
|
if [ "$1" != normal ]
|
|
|
|
then t=$t.$1
|
2005-08-30 12:20:39 +02:00
|
|
|
fi
|
2006-03-03 13:44:22 +01:00
|
|
|
|
2006-08-15 17:56:09 +02:00
|
|
|
chmem =250000 /usr/lib/em_* /usr/lib/cpp* /usr/lib/cv /usr/lib/asmconv >/dev/null 2>&1
|
2005-10-07 16:00:52 +02:00
|
|
|
chmem =600000 /usr/lib/ego/* >/dev/null 2>&1
|
2005-08-30 12:20:39 +02:00
|
|
|
if [ -f $t ]
|
|
|
|
then cat "$t" | while read line
|
2006-03-22 16:08:14 +01:00
|
|
|
do awk '{ print "chmem =" $2 " " $1 " 2>&1 | grep -v area.changed.from || exit 1"}'
|
|
|
|
done | /bin/sh -e || exit 1
|
2006-03-17 16:25:21 +01:00
|
|
|
else
|
|
|
|
echo "$0: $t does not exist" >&2
|
|
|
|
exit 1
|
2005-08-30 12:20:39 +02:00
|
|
|
fi
|
2006-02-15 12:18:21 +01:00
|
|
|
exit 0
|