From dd8fbd7fd78c37ad2186ab289d7190935ff09e16 Mon Sep 17 00:00:00 2001 From: Jonathan Bauer Date: Wed, 7 Feb 2018 18:17:47 +0100 Subject: Makefile: cleaned up help a bit --- Makefile | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 2e8c054..2642cdd 100644 --- a/Makefile +++ b/Makefile @@ -24,6 +24,8 @@ ifeq ($(shell which vmplayer 2>&1 > /dev/null && echo $$?), 0) endif ifndef BUILDER $(info # BUILDER not set, using default builder: $(DEFAULT_BUILDER)) + $(info # Detected builders: $(AVAILABLE_BUILDERS)) + $(info ) BUILDER := $(DEFAULT_BUILDER) endif @@ -113,20 +115,16 @@ $(BOOTTARGETS): @echo "** Success **" help: - @echo "General syntax: