diff --git a/resources/ci/common/common.py b/resources/ci/common/common.py index 4e2cf50c..cc5c99d0 100644 --- a/resources/ci/common/common.py +++ b/resources/ci/common/common.py @@ -115,16 +115,16 @@ def prepare_filename(BUILD_FILENAME): # failing that, assume it's over 10MB def find_binary(listdir): BUILD_FILENAMES = [] - executable = stat.S_IEXEC | stat.S_IXGRP | stat.S_IXOTH - for filename in os.listdir(listdir): - if os.path.isfile(filename): - st = os.stat(filename) - 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: - BUILD_FILENAMES.append(filename) - return BUILD_FILENAMES + executable = stat.S_IEXEC | stat.S_IXGRP | stat.S_IXOTH + for filename in os.listdir(listdir): + if os.path.isfile(filename): + st = os.stat(filename) + 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: + BUILD_FILENAMES.append(filename) + return BUILD_FILENAMES if __name__ == "__main__": env = prepare_env()