This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository facile.
commit 541840207d8ce03593ae1ce93bcaaac2b9823ebf
Author: Stephane Glondu <st...@glondu.net>
Date: Sat Dec 7 09:25:27 2013 +0100
Refresh patches
---
.../patches/0001-Make-facile-available-for-more-architectures.patch | 4 ++--
.../patches/0002-Make-facile-available-for-more-architectures.patch | 4 ++--
.../0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch | 4 ++--
debian/patches/0004-Allow-overriding-OCAMLC-in-examples.patch | 4 ++--
4 files changed, 8 insertions(+), 8 deletions(-)
diff --git
a/debian/patches/0001-Make-facile-available-for-more-architectures.patch
b/debian/patches/0001-Make-facile-available-for-more-architectures.patch
index b0da524..2477e8f 100644
--- a/debian/patches/0001-Make-facile-available-for-more-architectures.patch
+++ b/debian/patches/0001-Make-facile-available-for-more-architectures.patch
@@ -3,8 +3,8 @@ Date: Wed, 17 Aug 2011 21:26:52 +0200
Subject: Make facile available for more architectures
---
- src/Makefile | 11 ++++++++---
- 1 files changed, 8 insertions(+), 3 deletions(-)
+ src/Makefile | 11 ++++++++---
+ 1 file changed, 8 insertions(+), 3 deletions(-)
diff --git a/src/Makefile b/src/Makefile
index 94d8326..d1c032f 100644
diff --git
a/debian/patches/0002-Make-facile-available-for-more-architectures.patch
b/debian/patches/0002-Make-facile-available-for-more-architectures.patch
index a466ac3..40bd996 100644
--- a/debian/patches/0002-Make-facile-available-for-more-architectures.patch
+++ b/debian/patches/0002-Make-facile-available-for-more-architectures.patch
@@ -3,8 +3,8 @@ Date: Wed, 17 Aug 2011 21:28:29 +0200
Subject: Make facile available for more architectures
---
- Makefile | 14 +++++++++-----
- 1 files changed, 9 insertions(+), 5 deletions(-)
+ Makefile | 14 +++++++++-----
+ 1 file changed, 9 insertions(+), 5 deletions(-)
diff --git a/Makefile b/Makefile
index 1f15b06..78a6dfe 100644
diff --git
a/debian/patches/0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch
b/debian/patches/0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch
index 9b810ed..ce44093 100644
---
a/debian/patches/0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch
+++
b/debian/patches/0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch
@@ -3,8 +3,8 @@ Date: Wed, 17 Aug 2011 21:29:27 +0200
Subject: ocamlopt isn't available on all arches; don't use it for make check
---
- Makefile | 2 +-
- 1 files changed, 1 insertions(+), 1 deletions(-)
+ Makefile | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 78a6dfe..0854fb2 100644
diff --git a/debian/patches/0004-Allow-overriding-OCAMLC-in-examples.patch
b/debian/patches/0004-Allow-overriding-OCAMLC-in-examples.patch
index 7a9b017..a75ffc7 100644
--- a/debian/patches/0004-Allow-overriding-OCAMLC-in-examples.patch
+++ b/debian/patches/0004-Allow-overriding-OCAMLC-in-examples.patch
@@ -4,8 +4,8 @@ Subject: Allow overriding OCAMLC in examples
This is done by using separate _INVOKE vars to run misc commands.
---
- examples/Makefile | 26 ++++++++++++++------------
- 1 files changed, 14 insertions(+), 12 deletions(-)
+ examples/Makefile | 26 ++++++++++++++------------
+ 1 file changed, 14 insertions(+), 12 deletions(-)
diff --git a/examples/Makefile b/examples/Makefile
index e3a2194..82029f1 100644
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/facile.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
