1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c98cf89c5b..9958e5ebdc 100644
--- a/Makefile
+++ b/Makefile
@@ -117,4 +117,4 @@ print-dists:
 	@echo $(foreach V, $(filter DIST_FILES_%, $(.VARIABLES)), $($V))
 
 print-executables:
-	@echo $(EXECUTABLE) $(PLUGINS)
+	@echo $(if $(DIST_EXECUTABLES),$(DIST_EXECUTABLES),$(EXECUTABLE) $(PLUGINS))