diff options
Diffstat (limited to 'infra/run_static_analysis.sh')
| -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. |