[why] Recripple the Jessie plugin until it works with frama-c Oxygen.

[Jerry James]

commit d625b7596e5fba22ce4fae699d5d045e6f1e3b94
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Mon Oct 22 13:46:43 2012 -0600

    Recripple the Jessie plugin until it works with frama-c Oxygen.

 why.spec |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/why.spec b/why.spec
index ae2c998..66b1751 100644
--- a/why.spec
+++ b/why.spec
@@ -296,7 +296,7 @@ make %{opt_option}
 
 # Strip binaries (the Makefile misses some of them)
 strip bin/why-cpulimit
-strip frama-c-plugin/Jessie.cmxs
+#strip frama-c-plugin/Jessie.cmxs
 %if %opt
 strip bin/rv_merge.opt bin/simplify2why.opt bin/tool-stat.opt \
       bin/why2html.opt bin/why-dp.opt bin/why-obfuscator.opt bin/why-stat.opt
@@ -411,7 +411,7 @@ diff -u min.why min_why.why.result  # Show differences from correct result.
 %files jessie
 %{_bindir}/jessie
 %{_libdir}/jessie/
-%{_libdir}/frama-c/plugins/Jessie.*
+#%%{_libdir}/frama-c/plugins/Jessie.*
 %{_datadir}/applications/fedora-jessie.desktop
 
 %if %{has_coq}
@@ -446,6 +446,7 @@ diff -u min.why min_why.why.result  # Show differences from correct result.
 %changelog
 * Fri Oct 19 2012 Jerry James <loganjerry at gmail.com> - 2.31-4
 - Rebuild for OCaml 4.00.1 and frama-c Oxygen
+- Recripple the Jessie plugin until it works with frama-c Oxygen
 
 * Tue Sep 11 2012 Jerry James <loganjerry at gmail.com> - 2.31-3
 - Rebuild for new frama-c build with altered API.