From 97ec158341e6136d5035271084c5c266b67eff83 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 2 Jul 2010 12:14:51 +0200
Subject: [PATCH] a simple tool to display packages that have multiple modules
 defined in their <>-MODULES

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index c9bd923c..8b3410bc 100644
--- a/Makefile
+++ b/Makefile
@@ -781,6 +781,9 @@ info: info-packages info-modules info-branches
 
 .PHONY: info info-packages info-modules info-branches module-tools
 
+show-multi-modules:
+	@$(foreach package,$(ALL),$(if $(subst x1,,x$(words $($(package)-MODULES))), echo p=$(package) mods=$($(package)-MODULES) ;))
+.PHONY: show-multi-modules
 ####################
 help:
 	@echo "********** Run make in two stages:"
-- 
2.47.0