Run make with the right target when building benchmarks on CI

This commit is contained in:
Max Brunsfeld 2017-07-06 12:36:57 -07:00
parent 96068bbacb
commit 21bc50377e

View file

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