We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5ecee06 commit 7bd07f3Copy full SHA for 7bd07f3
infra/run_static_analysis.sh
@@ -85,10 +85,10 @@ scan_build make -j4
85
86
index="$(find "${OUTPUT_DIR}" -name index.html)"
87
if [[ -f "${index}" ]]; then
88
- mv "$(dirname "${index}")/"* .
+ mv "$(dirname "${index}")/"* "${OUTPUT_DIR}"
89
else
90
# make a empty report to wipe out any old bug reports.
91
- cat << EOT > index.html
+ cat << EOT > "${OUTPUT_DIR}/index.html"
92
<html>
93
<body>
94
No bugs reported.
0 commit comments