New makefile (src/tools/Makefile) logic:

- make fresh install: still builds new everything (libraries, services, image)
- make clean image: only builds new boot image (about 5 sec. now!)
This commit is contained in:
Jorrit Herder
2005-08-23 12:53:35 +00:00
parent 7bf400a709
commit b4d7de6ee1
6 changed files with 37 additions and 18 deletions

View File

@@ -7,6 +7,7 @@ usage:
@echo "Makefile for all system servers." >&2
@echo "Usage:" >&2
@echo " make build # Compile all system servers locally" >&2
@echo " make image # Compile servers in boot image" >&2
@echo " make clean # Remove local compiler results" >&2
@echo " make install # Install servers to /etc/servers/" >&2
@echo " (requires root privileges)" >&2
@@ -21,3 +22,10 @@ all install depend clean:
cd ./init && $(MAKE) $@
cd ./inet && $(MAKE) $@
image:
cd ./pm && $(MAKE) build
cd ./fs && $(MAKE) build
cd ./rs && $(MAKE) build
cd ./init && $(MAKE) build