From 12ac96cf51c463d5153b8416c2b8fe7956eabcf7 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
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