Renamed commands to cmds - make is confused that the commands directory

exists.
This commit is contained in:
Ben Gras 2005-06-17 13:42:06 +00:00
parent 9664ba0c4f
commit 47474b6341

View file

@ -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); }