From 9c59dda0e08afafb677612e6580851cc01c0d93a Mon Sep 17 00:00:00 2001
From: "Mike A. Trethewey" <miketrethewey@gmail.com>
Date: Wed, 26 Feb 2020 02:53:21 -0800
Subject: [PATCH] Meh, capitals

---
 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 cc5c99d0..9126fb24 100644
--- a/resources/ci/common/common.py
+++ b/resources/ci/common/common.py
@@ -122,7 +122,7 @@ def find_binary(listdir):
       mode = st.st_mode
       big = st.st_size > (10 * 1024 * 1024) # 10MB
       if (mode & executable) or big:
-        if "GUI" in filename or "DungeonRandomizer" in filename:
+        if "GUI" in filename or "Gui" in filename or "DungeonRandomizer" in filename:
           BUILD_FILENAMES.append(filename)
   return BUILD_FILENAMES