diff --git a/.github/scripts/common.py b/.github/scripts/common.py index fb5c7adc..d85dd8b8 100644 --- a/.github/scripts/common.py +++ b/.github/scripts/common.py @@ -46,8 +46,10 @@ def get_build_dir(config) -> Path: TMP_DIR = Path(os.getenv("TMP_DIR", default_tmp_dir)) if platform.system() == "Windows": KBUILD_SOURCE_DIR = Path(_environ["GITHUB_WORKSPACE"]) + BIN_EXT = ".exe" else: KBUILD_SOURCE_DIR = HOME / "kiwix-build" + BIN_EXT = ".exe" if COMPILE_CONFIG.startswith("win32_") else "" _ref = _environ.get("GITHUB_REF", "").split("/")[-1] @@ -62,8 +64,6 @@ def get_build_dir(config) -> Path: FLATPAK_HTTP_GIT_REMOTE = "https://github.com/flathub/org.kiwix.desktop.git" FLATPAK_GIT_REMOTE = "git@github.com:flathub/org.kiwix.desktop.git" -BIN_EXT = ".exe" if COMPILE_CONFIG.startswith("win32_") else "" - def major_version(version: str) -> str: return version.split(".")[0]