From 1b27d4f20ca3e63dfe8baf65b2b70968ed729a1a Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Tue, 30 Jul 2024 12:22:09 +0200 Subject: [PATCH] Fix script --- src/bin/text/dune | 4 ++-- src/bin/text/gen_link_flags.ml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/bin/text/dune b/src/bin/text/dune index f2a0569a0..647363f60 100644 --- a/src/bin/text/dune +++ b/src/bin/text/dune @@ -11,8 +11,8 @@ (target link_flags.dune) (deps (:gen gen_link_flags.exe)) (action - (with-stdout-to link_flags.dune - (run %{gen} %{env:LINK_MODE=dynamic} %{ocaml-config:system})))) + (with-stdout-to link_flags.dune + (run %{gen} %{env:LINK_MODE=dynamic} %{ocaml-config:system})))) (executable (name Main_text) diff --git a/src/bin/text/gen_link_flags.ml b/src/bin/text/gen_link_flags.ml index 53a13815b..c16af97e9 100644 --- a/src/bin/text/gen_link_flags.ml +++ b/src/bin/text/gen_link_flags.ml @@ -18,7 +18,7 @@ let () = | "static" -> begin match os with - | "linux" -> ["-static"; "-no-pie"], [] + | "linux" -> [], ["-static"; "-no-pie"] | _ -> Fmt.epr "No known static compilation flags for %s" os; exit 1