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 <me...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to