From 12ac96cf51c463d5153b8416c2b8fe7956eabcf7 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Wed, 22 Mar 2006 15:08:14 +0000 Subject: [PATCH] Fail if chmem fails --- commands/scripts/binsizes.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.44.0