Created
February 12, 2019 15:18
-
-
Save ehirdoy/461731eb55b6c567a8018c1cc66ab26f to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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