diff options
author | 2018-08-27 16:24:41 +0100 | |
---|---|---|
committer | 2018-08-27 17:08:10 +0100 | |
commit | 95fc435b8e651b3b3244ac6b45f5da2b898b0081 (patch) | |
tree | e5000e5e6ffa862ed6b993d1b05118c34f244004 /debian | |
parent | 16ccdabcee476b51e46e28bf219a615f9b8deb6e (diff) |
Implemente terse DEB_BUILD_OPTIONS
Change-Id: I05ce1e54095ea7f8256ca7840951252b0105d1cb
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/debian/rules b/debian/rules index 36286738..3d35e1c5 100755 --- a/debian/rules +++ b/debian/rules @@ -1,8 +1,4 @@ #!/usr/bin/make -f -# See debhelper(7) (uncomment to enable) -# output every command that modifies files on the build system. -export DH_VERBOSE=1 -export DH_OPTIONS=-v # see EXAMPLES in dpkg-buildflags(1) and read /usr/share/dpkg/* include /usr/share/dpkg/default.mk @@ -17,6 +13,11 @@ export DEB_BUILD_MAINT_OPTIONS = hardening=+all,-pie DPKG_EXPORT_BUILDFLAGS = 1 include /usr/share/dpkg/buildflags.mk +ifeq (,$(findstring terse,$(DEB_BUILD_OPTIONS))) + export DH_VERBOSE=1 + export DH_OPTIONS=-v +endif + # Support backporting to jessie dpkg_version_lt = $(shell dpkg --compare-versions $$(dpkg --status dpkg-dev | grep Version | cut -d' ' -f2) lt-nl "1.18.11" && echo yes) ifeq (yes, $(dpkg_version_lt)) |