On 11/9/2017 8:58 AM, James Darnley wrote:
> ---
> configure | 5 +
> 1 file changed, 5 insertions(+)
>
> diff --git a/configure b/configure
> index f396abda5b..146a87324c 100755
> --- a/configure
> +++ b/configure
> @@ -406,6 +406,7 @@ Optimization options (experts only):
>--disable-fma3
---
configure | 5 +
1 file changed, 5 insertions(+)
diff --git a/configure b/configure
index f396abda5b..146a87324c 100755
--- a/configure
+++ b/configure
@@ -406,6 +406,7 @@ Optimization options (experts only):
--disable-fma3 disable FMA3 optimizations
--disable-fma4