From ba638aeb70964a65401ed4f40216fa4323cb8a19 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 4 Jun 2021 10:21:22 -0400 Subject: [PATCH] makea benchs sohuld use profile=release --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0886de60..722d9052 100644 --- a/Makefile +++ b/Makefile @@ -17,7 +17,7 @@ doc: BENCH_TARGETS=run_benchs.exe run_bench_hash.exe 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 examples: