X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=flexdll%2Fmingw32-flexdll-0.11-no-cygpath.patch;fp=flexdll%2Fmingw32-flexdll-0.11-no-cygpath.patch;h=a7e00e055b0a950201753796a9bbbfc0fffe1bb5;hb=5f06b6a141d8bd07fc60de546d2bc60a256e5dad;hp=0000000000000000000000000000000000000000;hpb=7d1516cd3616f013653da2e98abc9bbed0b544f2;p=fedora-mingw.git

diff --git a/flexdll/mingw32-flexdll-0.11-no-cygpath.patch b/flexdll/mingw32-flexdll-0.11-no-cygpath.patch
new file mode 100644
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 ();
+     setup_toolchain ();
+ 
+-    use_cygpath :=
++    use_cygpath := false; (*
+       begin
+         match !toolchain, !cygpath_arg with
+         | _, `Yes -> true
+@@ -946,7 +946,7 @@
+         | (`CYGWIN|`MINGW), `None -> (Sys.command "cygpath -v 2>NUL >NUL" = 0)
+         | (`MSVC|`LIGHTLD), `None -> false
+       end;
+-
++			  *)
+ 
+     if !verbose >= 2 then (
+       Printf.printf "** Use cygpath: %b\n" !use_cygpath;