From 13fac1c09c3890ad91b93aeb7084c3a295ff698c Mon Sep 17 00:00:00 2001 From: Mark Elvers Date: Mon, 25 Nov 2024 09:30:59 +0000 Subject: [PATCH] Remove dependency on bash Signed-off-by: Mark Elvers --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index 677df3c..57405fe 100644 --- a/src/dune +++ b/src/dune @@ -49,4 +49,4 @@ (targets ocamlopt-flags) (deps) (action - (bash "echo '()' > ocamlopt-flags"))) + (with-stdout-to ocamlopt-flags (echo "()"))))