This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository frama-c.

commit 7e60b6be21cfe9dab6b9c8f6f00b079abae734af
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu Jul 27 18:59:06 2017 +0200

    Refresh patches
---
 debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch 
b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
index 7d460a7..2c200ea 100644
--- a/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
+++ b/debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch
@@ -10,7 +10,7 @@ PLUGIN_CMO_LIST variable.
  1 file changed, 4 insertions(+)
 
 diff --git a/Makefile b/Makefile
-index abbc8935..e844de36 100644
+index abbc893..e844de3 100644
 --- a/Makefile
 +++ b/Makefile
 @@ -1095,6 +1095,10 @@ $(foreach p,$(EXTERNAL_PLUGINS),$(eval $(call 
INCLUDE_PLUGIN,$p)))
@@ -24,4 +24,3 @@ index abbc8935..e844de36 100644
  ALL_CMO       = $(CMO) $(PLUGIN_CMO_LIST) $(STARTUP_CMO)
  ALL_CMX       = $(CMX) $(PLUGIN_CMX_LIST) $(STARTUP_CMX)
  
--- 

-- 
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