#!/bin/sh t=/etc/binary_sizes if [ "$#" -ne 1 ] then echo "Usage: $0 " exit 1 fi if [ "$1" != normal ] then t=$t.$1 fi chmem =250000 /usr/lib/em_* /usr/lib/cpp* /usr/lib/cv /usr/lib/asmconv >/dev/null 2>&1 chmem =600000 /usr/lib/ego/* >/dev/null 2>&1 if [ -f $t ] then cat "$t" | while read line do awk '{ print "chmem =" $2 " " $1 " 2>&1 | grep -v area.changed.from || exit 1"}' done | /bin/sh -e || exit 1 else echo "$0: $t does not exist" >&2 exit 1 fi exit 0