From 3a1c7f3b9967cd6adf2ed6990b424d729e402d2c Mon Sep 17 00:00:00 2001
From: John Firebaugh <john.firebaugh@gmail.com>
Date: Mon, 25 Jun 2018 12:17:48 -0700
Subject: [PATCH] [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 3c55be15f..1147a8c47 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