From d2e0cbc872efd5acef345af36f44c78fd8070f8d Mon Sep 17 00:00:00 2001
From: Philip Homburg <philip@cs.vu.nl>
Date: Fri, 17 Mar 2006 15:25:21 +0000
Subject: [PATCH] Fail when /etc/binary_sizes.$mode does not exist.

---
 commands/scripts/binsizes.sh | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
2.44.0