[cvc4] 03/04: Upgrade to compat level 10

[Fabian Wolff]

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

fw-guest pushed a commit to branch master
in repository cvc4.

commit 47055154209bbf0576d227a214faf7830a4023c0
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Apr 4 17:30:55 2017 +0200

    Upgrade to compat level 10
---
 debian/compat  | 2 +-
 debian/control | 2 +-
 debian/rules   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/compat b/debian/compat
index ec63514..f599e28 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-9
+10
diff --git a/debian/control b/debian/control
index c9e8fae..746f6c7 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.
 Uploaders: Fabian Wolff <fabi.wolff at arcor.de>
 Section: math
 Priority: optional
-Build-Depends: debhelper (>= 9),
+Build-Depends: debhelper (>= 10),
                dh-autoreconf,
                libgmp-dev,
                libantlr3c-dev,
diff --git a/debian/rules b/debian/rules
index d965a0b..4ab290f 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,7 +10,7 @@ export DEB_CPPFLAGS_MAINT_APPEND = \
 	-DDEB_BUILD_TIME="\"$(shell dpkg-parsechangelog -SDate | date -f- +%T)\""
 
 %:
-	dh $@ --parallel --with autoreconf
+	dh $@ --with autoreconf
 
 override_dh_auto_configure:
 	dh_auto_configure -- --enable-static --enable-shared                 \

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