diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2025-05-06 18:45:14 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2025-05-07 16:14:30 +0200 |
| commit | 4898fb180fbf09f49da5d15f29f7eb199a43b02f (patch) | |
| tree | f3c5381c90dda9dae63dfa583b0f1f794beeedbc | |
| parent | 20b7c7fa1b10a90e0e3aad46579ebe450d6720b9 (diff) | |
| download | rules-cc-4898fb180fbf09f49da5d15f29f7eb199a43b02f.tar.gz | |
rules: Do not assume out_dirs exist
| -rwxr-xr-x | lint/call_lint | 1 | ||||
| -rwxr-xr-x | lint/call_summary | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/lint/call_lint b/lint/call_lint index fd2a244..850812e 100755 --- a/lint/call_lint +++ b/lint/call_lint @@ -20,6 +20,7 @@ touch stderr RESULT=UNKNOWN echo "${RESULT}" > result +mkdir -p out export OUT="$(pwd)/out" mkdir -p config export CONFIG="$(pwd)/config" diff --git a/lint/call_summary b/lint/call_summary index d4aa8cb..9686d0a 100755 --- a/lint/call_summary +++ b/lint/call_summary @@ -19,6 +19,7 @@ touch report RESULT=UNKNOWN echo "${RESULT}" > result +mkdir -p out export OUT="$(pwd)/out" cd work |