| Line | |
|---|
| 1 | # Makefile for all system servers.
|
|---|
| 2 | #
|
|---|
| 3 | MAKE = exec make -$(MAKEFLAGS)
|
|---|
| 4 |
|
|---|
| 5 | usage:
|
|---|
| 6 | @echo "" >&2
|
|---|
| 7 | @echo "Makefile for all system servers." >&2
|
|---|
| 8 | @echo "Usage:" >&2
|
|---|
| 9 | @echo " make build # Compile all system servers locally" >&2
|
|---|
| 10 | @echo " make image # Compile servers in boot image" >&2
|
|---|
| 11 | @echo " make clean # Remove local compiler results" >&2
|
|---|
| 12 | @echo " make install # Install servers to /etc/servers/" >&2
|
|---|
| 13 | @echo " (requires root privileges)" >&2
|
|---|
| 14 | @echo "" >&2
|
|---|
| 15 |
|
|---|
| 16 | build: all
|
|---|
| 17 | all install depend clean:
|
|---|
| 18 | cd ./pm && $(MAKE) $@
|
|---|
| 19 | cd ./fs && $(MAKE) $@
|
|---|
| 20 | cd ./rs && $(MAKE) $@
|
|---|
| 21 | cd ./ds && $(MAKE) $@
|
|---|
| 22 | cd ./is && $(MAKE) $@
|
|---|
| 23 | cd ./init && $(MAKE) $@
|
|---|
| 24 | cd ./inet && $(MAKE) $@
|
|---|
| 25 |
|
|---|
| 26 | image:
|
|---|
| 27 | cd ./pm && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|---|
| 28 | cd ./fs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|---|
| 29 | cd ./rs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|---|
| 30 | cd ./ds && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|---|
| 31 | cd ./init && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|---|
| 32 |
|
|---|
| 33 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
