[flint-arb] 01/01: --parallel isn't necessary anymore

[Julien Puydt]

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

jpuydt-guest pushed a commit to branch master
in repository flint-arb.

commit 62f5d7b4075225c02882672ee19906df8ccced62
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Fri Oct 28 18:11:40 2016 +0200

    --parallel isn't necessary anymore
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 344cd8a..e81c344 100755
--- a/debian/rules
+++ b/debian/rules
@@ -14,4 +14,4 @@ override_dh_auto_configure:
 	sed -i Makefile -e "s/-larb/-lflint-arb/g"
 
 override_dh_auto_build:
-	dh_auto_build --parallel -- $(MAKE_OVERRIDE)
+	dh_auto_build -- $(MAKE_OVERRIDE)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/flint-arb.git