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

diff --git a/commands/scripts/binsizes.sh b/commands/scripts/binsizes.sh
index 4b13c3427973f5f3b0516796bed7479f14a81a55..ecba7c179ef9a59707525cb0716d2dd5cfafd8d8 100644 (file)
--- 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