Merge remote-tracking branch 'github/pr/229' into trunk

Was PR#229: Bytecode compilation in a new 'make byte' rule apart from 'make world'

1 files changed, 5 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index 93b89a4893..db23ad0a84 100644
--- a/Makefile
+++ b/Makefile
@@ -109,14 +109,17 @@ NOARG: world
 .PHONY: NOARG help noconfig submake
 
 help:
-	@echo "Please use either"
+	@echo "Please use either:"
 	@echo "   ./configure"
 	@echo "   make world"
 	@echo "   make install"
 	@echo "   make clean"
 	@echo "or make archclean"
-	@echo
 	@echo "For make to be verbose, add VERBOSE=1"
+	@echo "Bytecode compilation is now a separate target:"
+	@echo "   make byte"
+	@echo "   make install-byte"
+	@echo "Please do mix bytecode and native targets in the same make -j"
 
 UNSAVED_FILES:=$(shell find . -name '.\#*v' -o -name '.\#*.ml' -o -name '.\#*.ml?')
 ifdef UNSAVED_FILES