From 8b01688cb7c15c7d679829f890502bd3a955a9b3 Mon Sep 17 00:00:00 2001
From: John Firebaugh <john.firebaugh@gmail.com>
Date: Mon, 25 Jun 2018 12:17:48 -0700
Subject: [build] Exit with nonzero status if file does not exist

---
 scripts/log_binary_size.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/log_binary_size.sh b/scripts/log_binary_size.sh
index 3c55be15f1..1147a8c479 100755
--- a/scripts/log_binary_size.sh
+++ b/scripts/log_binary_size.sh
@@ -39,4 +39,5 @@ if [ -f "${FILE}" ]; then
     fi
 else
     echo "* File '${FILE}' does not exist"
+    exit 1
 fi
-- 
cgit v1.2.1