diff --git a/Makefile b/Makefile index ed3b7fa82..25c34b66f 100755 --- a/Makefile +++ b/Makefile @@ -11,7 +11,7 @@ usage: @echo " make world # Compile everything (libraries & commands)" >&2 @echo " make includes # Install include files from src/" >&2 @echo " make libraries # Compile and install libraries" >&2 - @echo " make commands # Compile commands, but don't install" >&2 + @echo " make cmds # Compile commands, but don't install" >&2 @echo " make install # Compile and install commands" >&2 @echo " make clean # Remove all compiler results" >&2 @echo "" >&2 @@ -24,7 +24,7 @@ usage: # for which it has to install /etc (for users and ownerships). # etcfiles also creates a directory hierarchy in its # 'make install' target. -world: etcfiles includes libraries commands install +world: etcfiles includes libraries cmds install includes: cd include && $(MAKE) install @@ -32,7 +32,7 @@ includes: libraries: cd lib && $(MAKE) install -commands: +cmds: @echo "Are the libraries up to date?"; sleep 2 test ! -f commands/Makefile || { cd commands && $(MAKE); }