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