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