Use TMP_DIR (standard) instead of hard-coded /tmp

Allows overriding it
This commit is contained in:
renaud gaudin 2023-11-09 13:58:39 +00:00
parent 5a8f8c90ff
commit 6cfbd0c297
No known key found for this signature in database
GPG Key ID: 447475A4CFBA2E24
1 changed files with 1 additions and 1 deletions

View File

@ -29,7 +29,7 @@ SOURCE_DIR = HOME / "SOURCE"
ARCHIVE_DIR = HOME / "ARCHIVE"
TOOLCHAIN_DIR = BASE_DIR / "TOOLCHAINS"
INSTALL_DIR = BASE_DIR / "INSTALL"
TMP_DIR = Path("/tmp")
TMP_DIR = Path(os.getenv("TMP_DIR", "/tmp"))
KBUILD_SOURCE_DIR = HOME / "kiwix-build"
_ref = _environ.get("GITHUB_REF", "").split("/")[-1]