[Pkg-ocaml-maint-commits] [frama-c] 01/07: Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
Mehdi Dogguy
mehdi at moszumanska.debian.org
Sun Sep 10 11:59:28 UTC 2017
This is an automated email from the git hooks/post-receive script.
mehdi pushed a commit to branch master
in repository frama-c.
commit 5355bc99123355a9482cb30dca2d7602467dbb50
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Sun Sep 10 12:21:41 2017 +0200
Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
---
debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch b/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
index a101205..4173b9a 100644
--- a/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
+++ b/debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
@@ -8,7 +8,7 @@ Forwarded: https://bts.frama-c.com/view.php?id=2325
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/share/Makefile.dynamic b/share/Makefile.dynamic
-index fbdd26a..ac4ee23 100644
+index fbdd26a..c12e946 100644
--- a/share/Makefile.dynamic
+++ b/share/Makefile.dynamic
@@ -188,14 +188,18 @@ $(eval $(call include_generic_plugin_Makefile,$(PLUGIN_NAME)))
@@ -18,7 +18,7 @@ index fbdd26a..ac4ee23 100644
-TARGETS_GUI := $(TARGET_GUI_CMI) $(TARGET_GUI_CMO) \
- $(TARGET_GUI_CMX) $(TARGET_GUI_CMXS)
+TARGETS_GUI_BYTE := $(TARGET_GUI_CMI) $(TARGET_GUI_CMO)
-+TARGET_GUI := $(TARGETS_GUI_BYTE) $(TARGET_GUI_CMX) $(TARGET_GUI_CMXS)
++TARGETS_GUI := $(TARGETS_GUI_BYTE) $(TARGET_GUI_CMX) $(TARGET_GUI_CMXS)
TARGETS_BYTE:= $(TARGET_META) $(TARGET_CMI) $(TARGET_TOP_CMO) $(TARGET_TOP_CMA)
TARGETS_OPT:= $(TARGET_META) $(TARGET_CMI) $(TARGET_TOP_CMX) $(TARGET_TOP_CMXS)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git
More information about the Pkg-ocaml-maint-commits
mailing list