try with bash

Halbaroth · Jul 29, 2024 · 005be5a · 005be5a
1 parent 0ecd251
commit 005be5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/text/dune b/src/bin/text/dune
@@ -3,7 +3,7 @@
 
 (rule
  (with-stdout-to link_flags.dune
-  (run ./gen-link-flags.sh %{env:LINK_MODE=dynamic} %{ocaml-config:system})))
+  (run bash ./gen-link-flags.sh %{env:LINK_MODE=dynamic} %{ocaml-config:system})))
 
 (executable
   (name Main_text)