summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAdrien Nader <adrien@notk.org>2015-01-13 20:15:37 +0100
committerAdrien Nader <adrien@notk.org>2015-01-13 20:15:37 +0100
commitad338ff95f19e799ffdabbfcc95a196f3f966234 (patch)
treec64b9869f28cf4288d73800cf56947d09d412c56
parent7dd89ad219d10a8a1696780f5a28a5239c566e24 (diff)
Build/Windows: list intrinsics patch inside mingw-w64 package sources.
-rw-r--r--build/windows.ml3
1 files changed, 2 insertions, 1 deletions
diff --git a/build/windows.ml b/build/windows.ml
index 2c8807c..6f92b11 100644
--- a/build/windows.ml
+++ b/build/windows.ml
@@ -182,6 +182,7 @@ let do_adds builder =
~build:2
~sources:[
Source.mingw_w64;
+ "0001-intrinsics-don-t-include-d-f-i-vec.h-from-inside-int.patch", "";
]
in
@@ -191,7 +192,7 @@ let do_adds builder =
~version:Version.mingw_w64
~build:2
~sources:[
- Source.mingw_w64
+ Source.mingw_w64;
]
in