The following commit has been merged in the master branch:
commit d7625bf8de30aae30234942af535bd514cb35e3c
Author: Pierre Chambart <chamb...@crans.org>
Date: Mon Feb 27 15:29:49 2012 +0100
Do not use parallel compilation (remove -j option of make call)
diff --git a/debian/rules b/debian/rules
index 4e49183..921a3e0 100755
--- a/debian/rules
+++ b/debian/rules
@@ -42,7 +42,7 @@ override_dh_auto_configure:
.PHONY: override_dh_auto_build
override_dh_auto_build:
- $(MAKE) -j $(BUILD_TARGET)
+ $(MAKE) $(BUILD_TARGET)
$(MAKE) doc
.PHONY: override_dh_auto_install
--
eliom packaging
_______________________________________________
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
