From b457bbaa025255d5a6ec5fbbec578349b52bd75a Mon Sep 17 00:00:00 2001
From: Michael Zanetti <michael_zanetti@gmx.net>
Date: Wed, 12 Jul 2017 10:55:47 +0200
Subject: [PATCH] print build options

---
 debian/rules | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/rules b/debian/rules
index 0ad97205..4b996591 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,6 +10,7 @@ else
 	DEB_PARALLEL_JOBS += $(shell getconf _NPROCESSORS_ONLN)
 endif
 
+$(info Building with DEB_BUILD_OPTIONS: [${DEB_BUILD_OPTIONS}])
 MAKE_TARGETS="all"
 ifneq (,$(filter nodocs,$(DEB_BUILD_OPTIONS)))
 	MAKE_TARGETS += " doc"