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

[Jerry James]

commit a9a2f85c8b10969062a169209926823b2aa237c0
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Feb 21 20:59:35 2015 -0700

    Fix sed expression separator for new $RPM_LD_FLAGS.

 why3.spec | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/why3.spec b/why3.spec
index 4f7c310..b4ec807 100644
--- a/why3.spec
+++ b/why3.spec
@@ -117,7 +117,7 @@ based on Why3, including various automated and interactive provers.
 # network use
 sed -e "s/-Wall/$RPM_OPT_FLAGS/" \
     -e "s/cp /cp -p /" \
-    -e "s/Aer[[:digit:]-]*/& -ccopt \"$RPM_LD_FLAGS\"/" \
+    -e "s|Aer[[:digit:]-]*|& -ccopt \"$RPM_LD_FLAGS\"|" \
     -i Makefile.in
 
 # Remove spurious executable bits
@@ -230,6 +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
 
 * Wed Feb 18 2015 Richard W.M. Jones <rjones at redhat.com> - 0.85-6
 - ocaml-4.02.1 rebuild.