aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a01c45f570..c98cf89c5b 100644
--- a/Makefile
+++ b/Makefile
@@ -111,3 +111,10 @@ config.mk engines/plugins_table.h engines/engines.mk: config.h
ifneq ($(origin port_mk), undefined)
include $(srcdir)/$(port_mk)
endif
+
+.PHONY: print-dists print-executables
+print-dists:
+ @echo $(foreach V, $(filter DIST_FILES_%, $(.VARIABLES)), $($V))
+
+print-executables:
+ @echo $(EXECUTABLE) $(PLUGINS)