|
Last change
on this file since 15 was 4, checked in by Mattia Monga, 14 years ago |
|
Importazione sorgenti libro
|
|
File size:
823 bytes
|
| 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 ./init && $(MAKE) $@
|
|---|
| 22 |
|
|---|
| 23 | image:
|
|---|
| 24 | cd ./pm && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|---|
| 25 | cd ./fs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|---|
| 26 | cd ./rs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|---|
| 27 | cd ./init && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|---|
| 28 |
|
|---|
| 29 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
