[cvc4] 05/10: Use SOURCE_DATE_EPOCH instead of parsing debian/changelog manually

[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 5b96f54069262adc8e4a18d23263de6d6ee9caba
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Jul 11 21:02:50 2017 +0200

    Use SOURCE_DATE_EPOCH instead of parsing debian/changelog manually
---
 debian/rules | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/debian/rules b/debian/rules
index 4ab290f..7dc7ab1 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,13 +1,15 @@
 #!/usr/bin/make -f
 
+include /usr/share/dpkg/pkg-info.mk
+
 # Uncomment this to turn on verbose mode.
 # export DH_VERBOSE=1
 
 export DEB_BUILD_MAINT_OPTIONS = hardening=+all
 
 export DEB_CPPFLAGS_MAINT_APPEND = \
-	-DDEB_BUILD_DATE="\"$(shell dpkg-parsechangelog -SDate | date -f- +%F)\"" \
-	-DDEB_BUILD_TIME="\"$(shell dpkg-parsechangelog -SDate | date -f- +%T)\""
+	-DDEB_BUILD_DATE="\"$(shell date -d @$(SOURCE_DATE_EPOCH) +%F)\"" \
+	-DDEB_BUILD_TIME="\"$(shell date -d @$(SOURCE_DATE_EPOCH) +%T)\""
 
 %:
 	dh $@ --with autoreconf

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