Merge pull request #478 from rgrinberg/bootstrap-g

bootstrap with -g
2018-02-02 17:17:43 +08:00 · 2018-02-02 17:17:43 +08:00 · 8cc868e642
parent 092248e220 0f04e70c0e
commit 8cc868e642
1 changed files with 1 additions and 1 deletions
--- a/bootstrap.ml
+++ b/bootstrap.ml
@ -425,7 +425,7 @@ let cleanup ~keep_ml_file =

 let () =
  let n =
-    try exec "%s -w -40 -o boot.exe unix.cma %s"
+    try exec "%s -g -w -40 -o boot.exe unix.cma %s"
          (Filename.quote compiler) generated_file
    with e -> cleanup ~keep_ml_file:true; raise e
  in