From 06deaf575ee7b6ec5baae591776e58018c56c4f2 Mon Sep 17 00:00:00 2001
From: Shakthi Kannan <author@shakthimaan.com>
Date: Thu, 9 Dec 2021 15:59:13 +0530
Subject: [PATCH] Move opam install before COPY and remove /dev/null use

---
 Makefile         | 2 +-
 bench.Dockerfile | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 8b8e3f0a98..50f6fae1e7 100644
--- a/Makefile
+++ b/Makefile
@@ -220,7 +220,7 @@ json:
 prep_bench:
 	@{ 	$(BENCH_COMMAND); \
 		$(MAKE) json; \
-	} > /dev/null 2>&1;
+	};
 
 bench: prep_bench
 	@cat data.json
diff --git a/bench.Dockerfile b/bench.Dockerfile
index 0ee5a2e4c5..2f1ff52e25 100644
--- a/bench.Dockerfile
+++ b/bench.Dockerfile
@@ -7,12 +7,12 @@ WORKDIR /app
 RUN sudo apt-get update
 RUN sudo apt-get -y install libgmp-dev libdw-dev jq jo python3-pip pkg-config m4 autoconf
 
+RUN opam update
+RUN opam install dune.2.9.0
+
 COPY . .
 
 RUN sudo chown -R opam /app
 RUN eval $(opam env)
 
-RUN opam update
-RUN opam install dune.2.9.0
-
 RUN export ITER=1