minix/commands/scripts/binsizes.sh

25 lines
416 B
Bash
Raw Normal View History

#!/bin/sh
t=/etc/binary_sizes
if [ "$#" -ne 1 ]
then echo "Usage: $0 <big|normal>"
exit 1
fi
if [ "$1" != normal ]
then t=$t.$1
2005-08-30 12:20:39 +02:00
fi
2005-10-07 16:00:52 +02:00
chmem =250000 /usr/lib/* /usr/lib/i386/* >/dev/null 2>&1
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
2005-09-05 15:03:26 +02:00
do awk '{ print "chmem =" $2 " " $1 " >/dev/null 2>&1 "}'
2005-08-30 12:20:39 +02:00
done | /bin/sh
else
echo "$0: $t does not exist" >&2
exit 1
2005-08-30 12:20:39 +02:00
fi
exit 0