- fixed sse2 bcond

diff --git a/coq.spec b/coq.spec
index 06f6fe9fc4699d2aab15984ff3dad6c921fc35b3..cac7418e3112713bedae00b5b328d4a5c44da717 100644 (file)
--- a/coq.spec
+++ b/coq.spec
@@ -131,8 +131,8 @@ Styl dokumentacji Coq dla LaTeXa.
 %patch0 -p1
 
 %{__sed} -i 's|-Wall.*-O2|%{rpmcflags} -Wno-unused|' tools/configure/configure.ml
-%if %{with sse2}
-%{__sed} -i -e '/cflags_sse2/ s/-msse2 -mfpmath=sse//' configure.ml
+%if %{without sse2}
+%{__sed} -i -e '/cflags_sse2/ s/-msse2 -mfpmath=sse//' tools/configure/configure.ml
 %endif
 %{__sed} -i 's,-shared,& -g,g' tools/CoqMakefile.in