From 21bc50377ed6c4e44c9da49674d900dca92757e4 Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Thu, 6 Jul 2017 12:36:57 -0700
Subject: [PATCH] Run make with the right target when building benchmarks on CI

---
 script/benchmark | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/benchmark b/script/benchmark
index 84225d05..e24c6b58 100755
--- a/script/benchmark
+++ b/script/benchmark
@@ -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