From 8d9702c692d0d3cf21e5d70e009b8e9fa2191c00 Mon Sep 17 00:00:00 2001 From: dan Date: Mon, 28 Oct 2024 11:35:13 +0100 Subject: [PATCH] update dockerfile --- crates/benches/binary/benches.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/benches/binary/benches.Dockerfile b/crates/benches/binary/benches.Dockerfile index f14a1e1834..c72e824c2c 100644 --- a/crates/benches/binary/benches.Dockerfile +++ b/crates/benches/binary/benches.Dockerfile @@ -43,4 +43,4 @@ ENV VERIFIER_PATH="/usr/local/bin/verifier" VOLUME [ "/benches" ] WORKDIR "/benches" -CMD ["/bin/bash", "-c", "bench && plot /benches/metrics.csv && cat /benches/metrics.csv"] +CMD ["/bin/bash", "-c", "bench && bench --memory-profiling && plot /benches/metrics.csv && cat /benches/metrics.csv"]