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 <[email protected]> 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 _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
