Skip to content

Commit

Permalink
Correctly get temp dir on Windows.
Browse files Browse the repository at this point in the history
  • Loading branch information
mgautierfr committed Jun 7, 2024
1 parent 0e0ac01 commit 1f4409d
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .github/scripts/common.py
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
import subprocess
import re
import shutil
import platform

import requests

Expand Down Expand Up @@ -41,7 +42,8 @@ def get_build_dir(config) -> Path:
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]
Expand Down

0 comments on commit 1f4409d

Please sign in to comment.