From 1b889845c384b7c08a5fbed75115e5b7138d463d Mon Sep 17 00:00:00 2001
From: "Mike A. Trethewey" <miketrethewey@gmail.com>
Date: Thu, 27 Feb 2020 01:56:22 -0800
Subject: [PATCH] Not nearly as big as SpriteSomething

---
 resources/ci/common/common.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/ci/common/common.py b/resources/ci/common/common.py
index 8e68851d..2ef8dd64 100644
--- a/resources/ci/common/common.py
+++ b/resources/ci/common/common.py
@@ -121,7 +121,7 @@ def find_binary(listdir):
       if os.path.splitext(filename)[1] != ".py":
         st = os.stat(filename)
         mode = st.st_mode
-        big = st.st_size > (10 * 1024 * 1024) # 10MB
+        big = st.st_size > (4.7 * 1024 * 1024) # 10MB
         if (mode & executable) or big:
           if "GUI" in filename or "Gui" in filename or "DungeonRandomizer" in filename:
             BUILD_FILENAMES.append(filename)