on master help sign in
use dev flag when using the base stream benchmarks
commit734004b57051ac960415b3b9ac2b3e62d0ab317e authorHarendra Kumar <harendra.kumar@gmail.com> dateTue 6 Nov 2018, 05:35 (8 years ago) parent3d79168
1 file changed+8−3
bench.sh+8−3
bench.sh+8−3
@@ -162,14 +162,14 @@ run_benches_comparing() {
162162 echo "Checking out base commit [$BASE] for benchmarking"
163163 git checkout "$BASE" || die "Checkout of base commit [$BASE] failed"
164164
165− $STACK build --bench --no-run-benchmarks || die "build failed"
165+ $STACK build $STACK_BUILD_FLAGS --bench --no-run-benchmarks || die "build failed"
166166 run_benches "$bench_list"
167167
168168 echo "Checking out candidate commit [$CANDIDATE] for benchmarking"
169169 git checkout "$CANDIDATE" || \
170170 die "Checkout of candidate [$CANDIDATE] commit failed"
171171
172− $STACK build --bench --no-run-benchmarks || die "build failed"
172+ $STACK build $STACK_BUILD_FLAGS --bench --no-run-benchmarks || die "build failed"
173173 run_benches "$bench_list"
174174 # XXX reset back to the original commit
175175}
@@ -268,6 +268,11 @@ GAUGE_ARGS=$*
268268echo "Using stack command [$STACK]"
269269set_benchmarks
270270
271+if echo "$BENCHMARKS" | grep -q base
272+then
273+ STACK_BUILD_FLAGS="--flag streamly:dev"
274+fi
275+
271276#-----------------------------------------------------------------------------
272277# Build stuff
273278#-----------------------------------------------------------------------------
@@ -282,7 +287,7 @@ build_report_progs "$BENCHMARKS"
282287
283288if test "$MEASURE" = "1"
284289then
285− $STACK build --bench --no-run-benchmarks || die "build failed"
290+ $STACK build $STACK_BUILD_FLAGS --bench --no-run-benchmarks || die "build failed"
286291 run_measurements "$BENCHMARKS"
287292fi
288293