From a3713013926e037d611fab101651360485d4bd85 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 18 Jun 2016 14:56:56 -0700
Subject: Fix path separator on windows

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

(limited to 'configure.ml')

diff --git a/configure.ml b/configure.ml
index d253eecd9..2e7bf1854 100644
--- a/configure.ml
+++ b/configure.ml
@@ -190,7 +190,7 @@ let win_aware_quote_executable str =
   else
     let _ = if contains_suspicious_characters str then
       printf "*Warning* The string %S contains suspicious characters; ocamlfind might fail\n" str in
-    str
+    Str.global_replace (Str.regexp "\\\\") "/" str
 
 (** * Date *)
 
-- 
cgit v1.2.3