diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-10-31 14:04:32 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-10-31 14:04:32 +0100 |
| commit | 0c271e486b10a3921845517dc6c839554b6e0aaf (patch) | |
| tree | a8f5e5b5193c8841dcded0f38f3885f14d8ff225 | |
| parent | 003a964ff6a8570344a215368fe110878a07dfd6 (diff) | |
| parent | b6d8aaa44ad3e508ee71613e0bb5a6d1b33f441a (diff) | |
| download | rules-cc-0c271e486b10a3921845517dc6c839554b6e0aaf.tar.gz | |
Merge subtree 'rules' into rules-cc
| -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 04ad230..e1000d9 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 ca7e4ef..fd2a244 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 |