1

fix tmpdir

This commit is contained in:
Motiejus Jakštys 2021-08-06 11:32:21 +03:00
parent 11f919ea6f
commit 76774cd384

View File

@ -175,7 +175,7 @@ ZIG_TOOL_PATH = "tools/{zig_tool}"
ZIG_TOOL_WRAPPER = """#!/bin/bash
set -e
if [[ -z "$TMPDIR" ]]; then
if [[ -n "$TMPDIR" ]]; then
_cache_prefix=$TMPDIR
else
_cache_prefix="$HOME/.cache"