From: Ben Gras Date: Fri, 17 Jun 2005 13:42:06 +0000 (+0000) Subject: Renamed commands to cmds - make is confused that the commands directory X-Git-Tag: v3.1.0~737 X-Git-Url: http://zhaoyanbai.com/repos/%22http:/www.isc.org/icons/index.html?a=commitdiff_plain;h=47474b6341a3698fa5246cf9cb9724a7bc91d447;p=minix.git Renamed commands to cmds - make is confused that the commands directory exists. --- 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); }