diff options
| -rw-r--r-- | rules/lint/RULES | 2 | ||||
| -rwxr-xr-x | rules/lint/call_lint | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/rules/lint/RULES b/rules/lint/RULES index 04ad2301..e1000d9e 100644 --- a/rules/lint/RULES +++ b/rules/lint/RULES @@ -67,6 +67,8 @@ , " - at key \"direct deps artifact names\" a list of all input" , " artifacts that come from the target itself or are runfiles of a" , " direct dependency." + , "- TMPDIR pointing to a directory location that can be used to" + , " create additional temporary files." , "It is supposed to indicate by the exit code whether the file to lint" , "complies with the given linting policy, with 0 meaning" , "compliant." diff --git a/rules/lint/call_lint b/rules/lint/call_lint index ca7e4ef3..fd2a2445 100755 --- a/rules/lint/call_lint +++ b/rules/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 |