[why3] Fix sed expression separator for new $RPM_OPT_FLAGS.

[Jerry James]

commit d1732b8eb674fdd95989b1fa0d8d6a60e179b723
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Feb 21 21:12:06 2015 -0700

    Fix sed expression separator for new $RPM_OPT_FLAGS.

 why3.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/why3.spec b/why3.spec
index b4ec807..640f212 100644
--- a/why3.spec
+++ b/why3.spec
@@ -115,7 +115,7 @@ based on Why3, including various automated and interactive provers.
 
 # Use the correct compiler flags, keep timestamps, and harden the build due to
 # network use
-sed -e "s/-Wall/$RPM_OPT_FLAGS/" \
+sed -e "s|-Wall|$RPM_OPT_FLAGS|" \
     -e "s/cp /cp -p /" \
     -e "s|Aer[[:digit:]-]*|& -ccopt \"$RPM_LD_FLAGS\"|" \
     -i Makefile.in
@@ -230,7 +230,7 @@ mktexlsr &> /dev/null || :
 %changelog
 * Sat Feb 21 2015 Jerry James <loganjerry at gmail.com> - 0.85-7
 - Note bundled jquery
-- Fix sed expression separator for new RPM_LD_FLAGS
+- Fix sed expression separators for new RPM_OPT_FLAGS and RPM_LD_FLAGS
 
 * Wed Feb 18 2015 Richard W.M. Jones <rjones at redhat.com> - 0.85-6
 - ocaml-4.02.1 rebuild.