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

glondu pushed a commit to branch master
in repository nproc.

commit cd7808f67f10bebe0c19469dde0b63f721596114
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu Feb 12 13:48:37 2015 +0100

    Do not install redundant files
---
 .../0001-Do-not-install-redundant-files.patch      | 24 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 2 files changed, 25 insertions(+)

diff --git a/debian/patches/0001-Do-not-install-redundant-files.patch 
b/debian/patches/0001-Do-not-install-redundant-files.patch
new file mode 100644
index 0000000..bf6ad26
--- /dev/null
+++ b/debian/patches/0001-Do-not-install-redundant-files.patch
@@ -0,0 +1,24 @@
+From: Stephane Glondu <st...@glondu.net>
+Date: Thu, 12 Feb 2015 13:47:23 +0100
+Subject: Do not install redundant files
+
+---
+ Makefile | 4 ++--
+ 1 file changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/Makefile b/Makefile
+index a2b96cb..5e7d68f 100644
+--- a/Makefile
++++ b/Makefile
+@@ -18,8 +18,8 @@ opt: META
+ install:
+       ocamlfind install nproc META \
+           `find nproc.mli nproc.cmi \
+-                nproc.cmo nproc.cma \
+-                nproc.cmx nproc.o nproc.cmxa nproc.a`
++                nproc.cma \
++                nproc.cmx nproc.cmxa nproc.a`
+ uninstall:
+       ocamlfind remove nproc
+ 
+-- 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..4c90dad
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Do-not-install-redundant-files.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/nproc.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