From 47474b6341a3698fa5246cf9cb9724a7bc91d447 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Fri, 17 Jun 2005 13:42:06 +0000 Subject: [PATCH] Renamed commands to cmds - make is confused that the commands directory exists. --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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); } -- 2.44.0