]> Zhao Yanbai Git Server - minix.git/commitdiff
Fail if chmem fails
authorBen Gras <ben@minix3.org>
Wed, 22 Mar 2006 15:08:14 +0000 (15:08 +0000)
committerBen Gras <ben@minix3.org>
Wed, 22 Mar 2006 15:08:14 +0000 (15:08 +0000)
commands/scripts/binsizes.sh

index ecba7c179ef9a59707525cb0716d2dd5cfafd8d8..182b1004a3b9bb83172b5ea0479f698c4adefc24 100644 (file)
@@ -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