From 6f257c5b7b3f11e18401e300fd64ed15ea5ee39f Mon Sep 17 00:00:00 2001 From: palainp Date: Mon, 4 Apr 2022 10:10:43 -0400 Subject: [PATCH] fix opam option --- Makefile.builder | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.builder b/Makefile.builder index 6ef27b3..bfcf4dc 100644 --- a/Makefile.builder +++ b/Makefile.builder @@ -3,5 +3,5 @@ OCAML_VERSION ?= 4.14.0 SOURCE_BUILD_DEP := firewall-build-dep firewall-build-dep: - opam -i -y mirage + opam install -y mirage