From 0f04e70c0e997bdf64006c1e1af4e6788ced3e22 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Fri, 2 Feb 2018 14:48:29 +0800
Subject: [PATCH] bootstrap with -g

---
 bootstrap.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap.ml b/bootstrap.ml
index 42345f67..9259ce02 100644
--- 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