Skip to content

Instantly share code, notes, and snippets.

@ehirdoy
Created February 12, 2019 15:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ehirdoy/461731eb55b6c567a8018c1cc66ab26f to your computer and use it in GitHub Desktop.
Save ehirdoy/461731eb55b6c567a8018c1cc66ab26f to your computer and use it in GitHub Desktop.
ehirdoy@ehirdoy-vm:~/src/mirage$ git diff
diff --git a/lib/mirage.ml b/lib/mirage.ml
index 60d6c9ad..738efd89 100644
--- a/lib/mirage.ml
+++ b/lib/mirage.ml
@@ -615,7 +615,7 @@ let compile ignore_dirs libs warn_error target =
| `Unix | `MacOSX -> []
in
let dont = List.map (fun k -> [ "-dontlink" ; k ]) dontlink in
- "-g" :: List.flatten dont
+ "-use-lto" :: "-g" :: List.flatten dont
in
let concat = String.concat ~sep:"," in
let ignore_dirs = match ignore_dirs with
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment