why (2.26+dfsg-2+squeeze1) 0004-Generate-Jessie.cma-for-bytecode-only-architectures.patch

From: Mehdi Dogguy <mehdi@debian.org>
Date: Sun, 24 Jan 2010 22:52:15 +0100
Subject: [PATCH] Generate Jessie.cma for bytecode only architectures

---
 Makefile.in |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 587e8cd..0c119dc 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -369,7 +369,7 @@ ifeq ($(FRAMAC),yes)
 JESSIE_PLUGIN_PATH=frama-c-plugin
 $(JESSIE_PLUGIN_BYTE): jc/jc.cmo $(JCCMO) $(CMO)
 	$(MAKE) -C $(JESSIE_PLUGIN_PATH) depend
-	$(MAKE) -C $(JESSIE_PLUGIN_PATH) Jessie.cmo
+	$(MAKE) -C $(JESSIE_PLUGIN_PATH) Jessie.cma
 
 $(JESSIE_PLUGIN_OPT): $(JCLIB) $(JCCMX) $(CMX)
 	$(MAKE) -C $(JESSIE_PLUGIN_PATH) depend
--