From e5e0e691445b81be7dad2f8eb2d73c558ebbf921 Mon Sep 17 00:00:00 2001 From: Hisham Muhammad Date: Tue, 17 Jul 2018 15:51:21 -0300 Subject: configure: recommend `make` instead of `make build` --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 5b587385..d92a3915 100755 --- a/configure +++ b/configure @@ -517,7 +517,7 @@ if [ "$LUA_BINDIR_SET" = "yes" ]; then echo "Lua bin directory.................. if [ "$LUA_INCDIR_SET" = "yes" ]; then echo "Lua include directory..............: $(GREEN "$LUA_INCDIR")" ; fi if [ "$LUA_LIBDIR_SET" = "yes" ]; then echo "Lua lib directory..................: $(GREEN "$LUA_LIBDIR")" ; fi echo -echo "* Type $(BOLD make build) and $(BOLD make install):" +echo "* Type $(BOLD make) and $(BOLD make install):" echo " to install to $PREFIX as usual." echo "* Type $(BOLD make bootstrap):" echo " to install LuaRocks into $ROCKS_TREE as a rock." -- cgit v1.2.3-55-g6feb