From 2aeb740de93a0b32efe71bbd3a129e39bc6439e5 Mon Sep 17 00:00:00 2001 From: Jim Fehrle Date: Sat, 23 Dec 2017 13:37:52 -0800 Subject: Add instructions for debugging from the command line (and in Windows) Avoid generating \r characters in generated dev/ocamldebug-coq (affects Windows) --- configure.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure.ml') 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"; -- cgit v1.2.3