Add instructions for debugging from the command line (and in Windows)

Avoid generating \r characters in generated dev/ocamldebug-coq (affects Windows)

1 files changed, 1 insertions, 1 deletions

diff --git a/configure.ml b/configure.ml
index 06aa5e766..97dc14c00 100644
--- a/configure.ml
+++ b/configure.ml
@@ -1056,7 +1056,7 @@ let _ = print_summary ()
 
 let write_dbg_wrapper f =
   safe_remove f;
-  let o = open_out f in
+  let o = open_out_bin f in  (* _bin to avoid adding \r on Cygwin/Windows *)
   let pr s = fprintf o s in
   pr "#!/bin/sh\n\n";
   pr "###### ocamldebug-coq : a wrapper around ocamldebug for Coq ######\n\n";