From 4fa75a15d29a633200ce991a0c7d7f6ed775d577 Mon Sep 17 00:00:00 2001 From: Matthieu Gautier Date: Wed, 29 Nov 2023 14:57:16 +0100 Subject: [PATCH] Correctly get temp dir on Windows. --- .github/scripts/common.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/scripts/common.py b/.github/scripts/common.py index 8eff925..f1433cc 100644 --- a/.github/scripts/common.py +++ b/.github/scripts/common.py @@ -7,6 +7,7 @@ import zipfile import subprocess import re import shutil +import platform import requests @@ -41,7 +42,8 @@ SOURCE_DIR = HOME / "SOURCE" ARCHIVE_DIR = HOME / "ARCHIVE" TOOLCHAIN_DIR = BASE_DIR / "TOOLCHAINS" INSTALL_DIR = BASE_DIR / "INSTALL" -TMP_DIR = Path(os.getenv("TMP_DIR", "/tmp")) +default_tmp_dir = os.getenv("TEMP") if platform.system() == 'Windows' else "/tmp" +TMP_DIR = Path(os.getenv("TMP_DIR", default_tmp_dir)) KBUILD_SOURCE_DIR = HOME / "kiwix-build" _ref = _environ.get("GITHUB_REF", "").split("/")[-1]