diff options
Diffstat (limited to 'lint/call_lint')
| -rwxr-xr-x | lint/call_lint | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lint/call_lint b/lint/call_lint index ca7e4ef..fd2a244 100755 --- a/lint/call_lint +++ b/lint/call_lint @@ -24,6 +24,8 @@ export OUT="$(pwd)/out" mkdir -p config export CONFIG="$(pwd)/config" export META="$(pwd)/meta.json" +mkdir scratch +export TMPDIR=$(realpath scratch) cd work |