Remove -cc gcc

dmtrKovalenko · Aug 22, 2024 · dc3cb27 · dc3cb27
1 parent 238cb33
commit dc3cb27
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/dune b/bin/dune
@@ -3,5 +3,5 @@
  (public_name ODiffBin)
  (package odiff)
  (flags
-  (:standard -w -27 -cc gcc))
+  (:standard -w -27))
  (libraries odiff-core odiff-io cmdliner))
diff --git a/io/config/discover.ml b/io/config/discover.ml
@@ -105,7 +105,7 @@ let c_flags_to_ocaml_opt_flags flags =
   flags
   |> List.filter_map (function
        | opt when String.starts_with opt ~prefix:"-l" -> Some [ "-cclib"; opt ]
-       | _ -> None)
+       | opt -> None)
   |> List.flatten
 
 let () =