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" No bugs reported.