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