From: Ben Gras Date: Wed, 22 Mar 2006 15:08:14 +0000 (+0000) Subject: Fail if chmem fails X-Git-Tag: v3.1.2a~174 X-Git-Url: http://zhaoyanbai.com/repos/?a=commitdiff_plain;h=12ac96cf51c463d5153b8416c2b8fe7956eabcf7;p=minix.git Fail if chmem fails --- diff --git a/commands/scripts/binsizes.sh b/commands/scripts/binsizes.sh index ecba7c179..182b1004a 100644 --- a/commands/scripts/binsizes.sh +++ b/commands/scripts/binsizes.sh @@ -15,8 +15,8 @@ chmem =250000 /usr/lib/* /usr/lib/i386/* >/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 " >/dev/null 2>&1 "}' - done | /bin/sh + 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