diff options
| author | James Zern <jzern@google.com> | 2022-06-13 16:17:42 -0700 |
|---|---|---|
| committer | James Zern <jzern@google.com> | 2022-06-13 16:17:42 -0700 |
| commit | 7bd07f3b5da4629a8cb0dc3a72253d639a28cf6c (patch) | |
| tree | 09c1bb3be5d1a8842a92ba77d3c59ac9eed2559e | |
| parent | 5ecee06f7a11b5b06d846196b362fb9fd39b25b2 (diff) | |
| download | libwebp-7bd07f3b5da4629a8cb0dc3a72253d639a28cf6c.tar.gz | |
run_static_analysis.sh: fix scan-build archive path
move any error reports to the top-level of OUTPUT_DIR rather than
BUILD_DIR
Change-Id: Icb6677c42a89ef86d9d295a27b79a8a591672b87
| -rwxr-xr-x | infra/run_static_analysis.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infra/run_static_analysis.sh b/infra/run_static_analysis.sh index cd5dd5dd..fa8445ca 100755 --- a/infra/run_static_analysis.sh +++ b/infra/run_static_analysis.sh @@ -85,10 +85,10 @@ scan_build make -j4 index="$(find "${OUTPUT_DIR}" -name index.html)" if [[ -f "${index}" ]]; then - mv "$(dirname "${index}")/"* . + mv "$(dirname "${index}")/"* "${OUTPUT_DIR}" else # make a empty report to wipe out any old bug reports. - cat << EOT > index.html + cat << EOT > "${OUTPUT_DIR}/index.html" <html> <body> No bugs reported. |