Don't use cygpath.

[fedora-mingw.git] / flexdll / mingw32-flexdll-0.11-no-cygpath.patch

diff --git a/flexdll/mingw32-flexdll-0.11-no-cygpath.patch b/flexdll/mingw32-flexdll-0.11-no-cygpath.patch
new file mode 100644 (file)
index 0000000..a7e00e0
--- /dev/null
+++ b/flexdll/mingw32-flexdll-0.11-no-cygpath.patch
@@ -0,0 +1,20 @@
+--- flexdll/reloc.ml.orig      2008-11-16 09:45:55.000000000 +0000
++++ flexdll/reloc.ml   2008-11-16 09:46:39.000000000 +0000
+@@ -938,7 +938,7 @@
+     parse_cmdline ();\r
+     setup_toolchain ();\r
+ \r
+-    use_cygpath :=\r
++    use_cygpath := false; (*\r
+       begin\r
+         match !toolchain, !cygpath_arg with\r
+         | _, `Yes -> true\r
+@@ -946,7 +946,7 @@
+         | (`CYGWIN|`MINGW), `None -> (Sys.command "cygpath -v 2>NUL >NUL" = 0)\r
+         | (`MSVC|`LIGHTLD), `None -> false\r
+       end;\r
+-\r
++                        *)\r
+ \r
+     if !verbose >= 2 then (\r
+       Printf.printf "** Use cygpath: %b\n" !use_cygpath;\r