makea benchs sohuld use profile=release

This commit is contained in:
Simon Cruanes 2021-06-04 10:21:22 -04:00
parent 57e810a882
commit ba638aeb70

View file

@ -17,7 +17,7 @@ doc:
BENCH_TARGETS=run_benchs.exe run_bench_hash.exe BENCH_TARGETS=run_benchs.exe run_bench_hash.exe
benchs: benchs:
dune build $(addprefix benchs/, $(BENCH_TARGETS)) dune build $(addprefix benchs/, $(BENCH_TARGETS)) --profile=release
@for i in $(BENCH_TARGETS) ; do ln -sf _build/default/benchs/$$i ; done @for i in $(BENCH_TARGETS) ; do ln -sf _build/default/benchs/$$i ; done
examples: examples: