Rename lib.sh -> scan-build.sh

2017-07-06 10:32:41 -07:00 · 2017-07-06 10:32:41 -07:00 · a64db98218
commit a64db98218
parent 78333b70c0
4 changed files with 2 additions and 6 deletions
--- a/script/benchmark
+++ b/script/benchmark
@ -59,6 +59,7 @@ while getopts "bdhf:l:SL" option; do
 done

 if [[ -n "$run_scan_build" ]]; then
+  . script/util/scan-build.sh
  scan_build make -j2 $target
 else
  make -j2 benchmarks