Set COQLIB so the test suite will run locally on Windows.

1 files changed, 3 insertions, 3 deletions

diff --git a/test-suite/ocaml_pwd.ml b/test-suite/ocaml_pwd.ml
index 10ca52a4a9..afa3deea3a 100644
--- a/test-suite/ocaml_pwd.ml
+++ b/test-suite/ocaml_pwd.ml
@@ -1,7 +1,7 @@
 let _ =
-  let ch_dir = Sys.argv.(1) in
+  let quoted = Sys.argv.(1) = "-quoted" in
+  let ch_dir = Sys.argv.(if quoted then 2 else 1) in
   Sys.chdir ch_dir;
   let dir = Sys.getcwd () in
-  (* Needed for windows *)
-  let dir = Filename.quote dir in
+  let dir = if quoted then Filename.quote dir else dir in
   Format.printf "%s%!" dir