From ba0eb796fb6444df047ed393cd31c458db03bb6e Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Tue, 15 Oct 2019 11:38:57 +0200
Subject: [PATCH] make: add FEATURES_USED_BLACKLISTED to the build info

---
 makefiles/info.inc.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/makefiles/info.inc.mk b/makefiles/info.inc.mk
index 0ec6d69624..418c83af91 100644
--- a/makefiles/info.inc.mk
+++ b/makefiles/info.inc.mk
@@ -62,6 +62,8 @@ info-build:
 	@echo '         $(or $(FEATURES_MISSING), -none-)'
 	@echo 'FEATURES_BLACKLIST (blacklisted features):'
 	@echo '         $(or $(sort $(FEATURES_BLACKLIST)), -none-)'
+	@echo 'FEATURES_USED_BLACKLISTED (used but blacklisted features):'
+	@echo '         $(or $(sort $(FEATURES_USED_BLACKLISTED)), -none-)'
 	@echo ''
 	@echo 'FEATURES_CONFLICT:     $(FEATURES_CONFLICT)'
 	@echo 'FEATURES_CONFLICT_MSG: $(FEATURES_CONFLICT_MSG)'