From: Philip Homburg <philip@cs.vu.nl>
Date: Fri, 17 Mar 2006 15:25:21 +0000 (+0000)
Subject: Fail when /etc/binary_sizes.$mode does not exist.
X-Git-Tag: v3.1.2a~189
X-Git-Url: http://zhaoyanbai.com/repos/icons/debian/static/howto.html?a=commitdiff_plain;h=d2e0cbc872efd5acef345af36f44c78fd8070f8d;p=minix.git

Fail when /etc/binary_sizes.$mode does not exist.
---

diff --git a/commands/scripts/binsizes.sh b/commands/scripts/binsizes.sh
index 4b13c3427..ecba7c179 100644
--- a/commands/scripts/binsizes.sh
+++ b/commands/scripts/binsizes.sh
@@ -17,5 +17,8 @@ if [ -f $t ]
 then	cat "$t" | while read line
 	do	awk '{ print "chmem =" $2 " " $1 " >/dev/null 2>&1 "}'
 	done | /bin/sh
+else
+	echo "$0: $t does not exist" >&2
+	exit 1
 fi
 exit 0