diff options
author | Adrien Nader <adrien@notk.org> | 2015-01-13 20:15:37 +0100 |
---|---|---|
committer | Adrien Nader <adrien@notk.org> | 2015-01-13 20:15:37 +0100 |
commit | ad338ff95f19e799ffdabbfcc95a196f3f966234 (patch) | |
tree | c64b9869f28cf4288d73800cf56947d09d412c56 | |
parent | 7dd89ad219d10a8a1696780f5a28a5239c566e24 (diff) |
Build/Windows: list intrinsics patch inside mingw-w64 package sources.
-rw-r--r-- | build/windows.ml | 3 |
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 |